Repositories list

• kernelcveanalysis

  Public
  Java

  •1•14•0•0•Updated Feb 19, 2026Feb 19, 2026

• mdl-proverif

  Public
  Python

  •0•0•0•0•Updated Dec 15, 2025Dec 15, 2025

• deepSURF

  Public
  deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses

  LLVM

  •

  BSD 2-Clause "Simplified" License

  •1•19•0•0•Updated Nov 28, 2025Nov 28, 2025

• STARS

  Public
  Official Code Repository for Paper - STARS: Segment-level Token Alignment via Rejection Sampling in Large Language Models

  Python

  •0•1•0•0•Updated Nov 3, 2025Nov 3, 2025

• Linux-peripheral-CVE-study

  Public
  Python

  •0•0•0•0•Updated Oct 30, 2025Oct 30, 2025

• dnnobfuse

  Public
  Source code for CCS'25 paper: Hardening Deep Neural Network Binaries against Reverse Engineering Attacks

  C++

  •0•1•0•0•Updated Oct 13, 2025Oct 13, 2025

• liteagent

  Public
  Jupyter Notebook

  •0•6•1•0•Updated Oct 11, 2025Oct 11, 2025

• Patcherex2

  Public
  A versatile and easy-to-use static binary patching tool.

  reverse-engineeringpatchbinary-rewriting+ 1binary-patching

  Python

  •

  BSD 2-Clause "Simplified" License

  •8•55•1•0•Updated Sep 16, 2025Sep 16, 2025

• AdaSearch

  Public
  Official Code Repository for Paper - Greedy, Not Needy: A General Paradigm for Efficient Decoding in Large Language Models

  Python

  •0•0•0•0•Updated Aug 29, 2025Aug 29, 2025

• jailbreak-evaluation

  Public
  Jupyter Notebook

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 22, 2025Aug 22, 2025

• NeuroScope

  Public
  Python

  •0•5•1•0•Updated Apr 4, 2025Apr 4, 2025

• Chimera

  Public
  Java

  •

  MIT License

  •0•4•0•0•Updated Mar 28, 2025Mar 28, 2025

• ScopeVerif

  Public
  Kotlin

  •0•0•0•0•Updated Mar 5, 2025Mar 5, 2025

• VeriBin

  Public
  Adaptive Verification of Patches at the Binary Level

  Python

  •

  Apache License 2.0

  •0•11•0•0•Updated Feb 26, 2025Feb 26, 2025

• dnnpatcher

  Public
  Python

  •0•1•0•0•Updated Jan 17, 2025Jan 17, 2025

• Patcherex2-Extras

  Public
  Python

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated Jan 15, 2025Jan 15, 2025

• ProTST

  Public
  Python

  •2•1•0•0•Updated Dec 21, 2024Dec 21, 2024

• DnD

  Public
  A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

  deep-learningneural-networkdecompiler+ 4reverse-engineeringsymbolic-executionprogram-analysisangr

  Python

  •

  Apache License 2.0

  •11•83•2•1•Updated Dec 17, 2024Dec 17, 2024

• DMC-Xplorer

  Public
  DMC-Xplorer

  Python

  •

  MIT License

  •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

• DetStorm

  Public
  Python

  •1•3•2•0•Updated Nov 15, 2024Nov 15, 2024

• D-helix

  Public
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.

  Python

  •

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

  •2•18•2•0•Updated Sep 12, 2024Sep 12, 2024

• VOGUES

  Public
  Python

  •2•1•1•0•Updated Aug 17, 2024Aug 17, 2024

• btprivacy

  Public
  Shell

  •1•3•0•0•Updated Aug 15, 2024Aug 15, 2024

• AttrackZone

  Public
  Python

  •2•7•0•0•Updated Aug 12, 2024Aug 12, 2024

• SAIN

  Public
  1•5•1•0•Updated Jul 18, 2024Jul 18, 2024

• intermittent-traces

  Public
  Physical Side-Channel Attacks against Intermittent Devices

  MIT License

  •0•1•0•0•Updated Jul 7, 2024Jul 7, 2024

• AKF

  Public
  Python

  •0•1•0•0•Updated Jun 4, 2024Jun 4, 2024

• WearOS

  Public
  Understanding the Cross-Device Runtime Permission Model in Wearables

  Java

  •

  MIT License

  •2•6•0•0•Updated May 18, 2024May 18, 2024

• mesh-model

  Public
  A comprehensive formal model of Bluetooth Mesh security protocols

  Shell

  •1•2•0•0•Updated May 6, 2024May 6, 2024

• RVProber

  Public
  Python

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