Repositories list

• finite-monkey-engine

  Public
  AI engine for smart contract audit

  Python

  •87•0•0•0•Updated Dec 12, 2025Dec 12, 2025

• mopeyeDataset

  Public
  The public dataset of MopEye, a VPN-based per-app mobile measurement app

  1•5•1•0•Updated Jul 10, 2025Jul 10, 2025

• VPRLab.github.io

  Public
  JavaScript

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• SelfDefend-Data

  Public
  SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner; USENIX Security 2025

  Python

  •1•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• SelfDefend-Code

  Public
  SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner; USENIX Security 2025

  Python

  •5•2•0•0•Updated Jan 26, 2025Jan 26, 2025

• AGChain

  Public
  ACM DLT'24: A Blockchain-based Gateway for Trustworthy App Delegation from Mobile App Markets

  Java

  •0•1•0•0•Updated Dec 12, 2024Dec 12, 2024

• HEDiff

  Public
  Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models

  Jupyter Notebook

  •1•0•0•0•Updated Dec 4, 2024Dec 4, 2024

• BlockScope

  Public
  A search-based patch vs. code similarity analysis tool for discovering 100+ vulnerabilities in top blockchains

  bitcoinethereumblockchain+ 1

  bitcoinethereumblockchainvulnerability

  Python

  •

  GNU Lesser General Public License v2.1

  •1•5•0•0•Updated Aug 30, 2024Aug 30, 2024

• BlkVulnReport

  Public
  A Summary of Vulnerabilities Found in the BlockScope NDSS'23 Paper

  0•8•1•0•Updated Aug 30, 2024Aug 30, 2024

• PropertyGPT

  Public
  Solidity

  •8•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• ModifierDataset

  Public
  The dataset of 62,464 smart contracts with modifiers used in our ISSTA'23 paper

  0•3•0•0•Updated Jul 1, 2024Jul 1, 2024

• ZepScope

  Public
  Published in USENIX Security'24: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts

  openzeppelin

  openzeppelin

  Solidity

  •3•1•0•0•Updated Jun 8, 2024Jun 8, 2024

• GPTScan

  Public
  Java

  •

  GNU Affero General Public License v3.0

  •26•1•0•0•Updated May 29, 2024May 29, 2024

• MtdScout

  Public
  MtdScout: Identifying Insecure Methods in Android Apps via Source-to-Bytecode Signature Generation and Tree-based Layered Search

  1•1•0•0•Updated Mar 10, 2024Mar 10, 2024

• SoMo

  Public
  A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

  smart-contractssoliditystatic-analyzer+ 5

  smart-contractssoliditystatic-analyzerprogram-analysistaint-analysissecurity-toolsslithermodifier

  Python

  •1•9•0•0•Updated Mar 2, 2024Mar 2, 2024

• BlkVulnDataset

  Public
  The public blockchain vulnerability dataset released in our FSE'22 paper

  1•9•0•0•Updated Aug 22, 2022Aug 22, 2022

• iExam

  Public
  iExam: Leveraging Face Recognition for Online Exam Monitoring and Analysis

  Python

  •6•6•7•0•Updated Jun 27, 2022Jun 27, 2022

• BackDroid

  Public
  A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid

  Java

  •

  GNU Lesser General Public License v2.1

  •9•50•2•0•Updated Jul 6, 2021Jul 6, 2021

• VSinkDataset

  Public
  The VSink dataset containing 372 categorized VSinks

  Shell

  •0•2•0•0•Updated Oct 7, 2014Oct 7, 2014

• ComponentHijackingExploit

  Public
  Demo Exploits and Vulnerable APKs for my HitCon'14 topic

  Java

  •

  Apache License 2.0

  •8•14•0•0•Updated Sep 2, 2014Sep 2, 2014