Repositories list

• SEAL

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 12, 2026Aug 12, 2026

• PermScope

  Public
  Detecting missing permission controls in mini-program APIs via static and dynamic analysis. Artifact for our USENIX Security 2026 paper.

  Java

  •44 forks•00 stars•00 issues•00 pull requests•Updated Jun 10, 2026Jun 10, 2026

• REBench

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• EUF

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• CanBERTplus

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• AutoVR

  Public
  An automated UI and event tester for Unity VR games.

  TypeScript

  •

  MIT License

  •00 forks•33 stars•00 issues•11 pull request•Updated Feb 27, 2026Feb 27, 2026

• elfuzz

  Public
  Replication package of ELFuzz

  Python

  •

  MIT License

  •55 forks•1515 stars•11 issue•00 pull requests•Updated Feb 8, 2026Feb 8, 2026

• MIRROR_WWW

  Public
  The artifact of Real or Rogue? Detecting Malicious Miniapps with Deceptive Reporting Interface in WWW'26.

  Python

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jan 26, 2026Jan 26, 2026

• vSim

  Public
  The artifact of "vSim: Semantics-Aware Value Extraction for Efficient Binary Code Similarity Analysis," NDSS 2026. You may also have a look at https://doi.org/1…

  Python

  •00 forks•1818 stars•00 issues•00 pull requests•Updated Dec 29, 2025Dec 29, 2025

• DiscScope

  Public
  Implementation for ASIA CCS'25 paper: An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy

  C++

  •

  GNU General Public License v3.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Aug 27, 2025Aug 27, 2025

• SymLM

  Public
  Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"

  reverse-engineeringbinary-analysislanguage-model

  reverse-engineeringbinary-analysislanguage-model

  Python

  •

  MIT License

  •77 forks•6363 stars•11 issue•00 pull requests•Updated Jul 6, 2025Jul 6, 2025

• SymGen

  Public
  Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)

  Python

  •

  Other

  •44 forks•4747 stars•11 issue•00 pull requests•Updated Jun 5, 2025Jun 5, 2025

• TensorCrypt

  Public
  Implementation for NDSS'2025 paper: "TensorCrypt: Repurposing Neural Networks for Efficient Cryptographic Computation"

  Python

  •22 forks•1010 stars•00 issues•00 pull requests•Updated Apr 12, 2025Apr 12, 2025

• AnonymizationLayer

  Public
  C

  •00 forks•33 stars•00 issues•00 pull requests•Updated Feb 26, 2025Feb 26, 2025

• BaseMirror

  Public
  Java

  •

  Apache License 2.0

  •77 forks•2929 stars•00 issues•00 pull requests•Updated Feb 4, 2025Feb 4, 2025

• ProxyEx

  Public
  HTML

  •11 fork•44 stars•00 issues•00 pull requests•Updated Nov 30, 2024Nov 30, 2024

• RILDefender

  Public
  RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits

  androidsmsaosp

  androidsmsaosp

  Java

  •

  Apache License 2.0

  •99 forks•1919 stars•00 issues•00 pull requests•Updated Nov 1, 2024Nov 1, 2024

• FirmXRay

  Public
  Java

  •

  MIT License

  •1111 forks•7474 stars•00 issues•00 pull requests•Updated Oct 25, 2024Oct 25, 2024

• MOOSE

  Public
  Python

  •11 fork•33 stars•00 issues•00 pull requests•Updated Oct 12, 2024Oct 12, 2024

• QtRE

  Public
  A Ghidra headless analyzer tailored for Qt binary analysis

  qtreverse-engineeringbinary-analysis+ 1

  qtreverse-engineeringbinary-analysisghidra

  Java

  •

  Apache License 2.0

  •88 forks•7676 stars•00 issues•00 pull requests•Updated Oct 7, 2024Oct 7, 2024

• bluetooth-pairing-formal-verification

  Public
  Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)

  bluetooth-low-energytamarin-prover

  bluetooth-low-energytamarin-prover

  Python

  •

  MIT License

  •00 forks•1111 stars•00 issues•00 pull requests•Updated May 3, 2024May 3, 2024

• BLEScope

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 13, 2024Apr 13, 2024

• TaintMini

  Public
  Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

  securitytaint-analysismini-programs+ 2

  securitytaint-analysismini-programsprivacy-leakageempirical-study

  Python

  •

  GNU Affero General Public License v3.0

  •1111 forks•8181 stars•00 issues•22 pull requests•Updated Mar 19, 2024Mar 19, 2024

• 5G-Spector

  Public
  An O-RAN compliant runtime IDS for L3 celluar attack Detection

  Apache License 2.0

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Mar 14, 2024Mar 14, 2024

• vSGX

  Public
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper

  C

  •

  GNU General Public License v2.0

  •22 forks•5959 stars•00 issues•00 pull requests•Updated Nov 7, 2023Nov 7, 2023

• 3DScan

  Public
  Python

  •

  Apache License 2.0

  •00 forks•22 stars•22 issues•00 pull requests•Updated Sep 26, 2023Sep 26, 2023

• Reusable-Enclaves

  Public
  Implementation of the Reusable Enclaves paper

  GNU General Public License v2.0

  •00 forks•1515 stars•00 issues•00 pull requests•Updated Sep 25, 2023Sep 25, 2023

• CMRFScanner

  Public
  This is the repository for the paper "Cross Miniapp Request Forgery"

  Python

  •

  GNU General Public License v2.0

  •55 forks•2020 stars•00 issues•00 pull requests•Updated Aug 30, 2023Aug 30, 2023

• PWRLEAK

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 28, 2023Jul 28, 2023

• CheatFighter

  Public
  Extract threat intelligence from memory modifying game cheats through static binary analysis

  Java

  •

  MIT License

  •00 forks•44 stars•11 issue•00 pull requests•Updated Jul 8, 2023Jul 8, 2023