Repositories list

• DFarm

  Public
  Massive-Scaling Dynamic Android App Analysis on Real Hardware

  Java

  •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

• charra

  Public
  Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction Models for Remote Attestation Procedures using TPM 2.0.

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •22•27•0•1•Updated Oct 7, 2024Oct 7, 2024

• paper-towards-practical-hardware-fingerprinting-for-remote-attestation

  Public
  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Sep 5, 2024Sep 5, 2024

• ECOOP2024-DynamicCallbackSummaries

  Public
  Artifact for the ECOOP 2024 paper on dynamic callback summaries

  Java

  •

  Other

  •1•0•0•0•Updated Aug 26, 2024Aug 26, 2024

• ValBench

  Public
  The ValBench benchmark suite for empirically evaluating value analysis approaches

  HTML

  •0•0•0•0•Updated May 19, 2024May 19, 2024

• AsiaCCS2023-BenchmarkingTheBenchmarks

  Public archive
  HTML

  •0•0•0•0•Updated Dec 22, 2023Dec 22, 2023

• SOAP23-DynamicAnalysisArchitecture

  Public
  Artefacts for our paper on an efficient dynamic analysis infrastructure at SOAP 2023

  Java

  •

  GNU Lesser General Public License v2.1

  •0•1•0•0•Updated May 3, 2023May 3, 2023

• FSE22-CodeSmells

  Public
  Data for Security Code Smells Paper at ESEC/FSE 2022

  Java

  •

  Apache License 2.0

  •2•0•0•0•Updated Nov 13, 2022Nov 13, 2022

• ModExTransformer

  Public archive
  Transformer-based Extraction of Deep Image Models

  Python

  •

  Apache License 2.0

  •0•3•0•0•Updated Mar 18, 2022Mar 18, 2022

• vusc-client

  Public
  Clients for the VUSC vulnerability scanner

  Java

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Jan 14, 2022Jan 14, 2022

• SOAP21-QualitySecurityCorrelation

  Public
  Artifacts for the SOAP'21 paper on the correlation between security and quality issues in Android apps

  Java

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Jun 22, 2021Jun 22, 2021

• bgpsim

  Public
  Optimized BGP simulator to find paths between ASNs.

  C++

  •

  Other

  •3•1•0•0•Updated Feb 19, 2021Feb 19, 2021

• transputation

  Public
  Transputation Framework

  C++

  •

  Other

  •1•1•0•0•Updated Apr 22, 2020Apr 22, 2020

• transputation_libscapi

  Public
  Comprehensive Open Source Library for Secure Multiparty Computation

  C++

  •66•1•0•0•Updated Apr 22, 2020Apr 22, 2020

• dvpp

  Public archive
  Domain Validation++

  Go

  •

  Other

  •2•7•0•2•Updated Jan 2, 2019Jan 2, 2019