Repositories list

• ScopeVerif

  Public
  Kotlin

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

• kernelcveanalysis

  Public
  0•0•0•0•Updated Mar 4, 2025Mar 4, 2025

• VeriBin

  Public
  Adaptive Verification of Patches at the Binary Level

  Python

  •

  Apache License 2.0

  •0•4•0•0•Updated Feb 26, 2025Feb 26, 2025

• Patcherex2

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

  reverse-engineeringpatchbinary-rewriting+ 1binary-patching

  Python

  •

  BSD 2-Clause "Simplified" License

  •6•35•1•0•Updated Feb 24, 2025Feb 24, 2025

• Pieces

  Public
  Compartmentalization using hadrware and software techniques.

  C

  •

  MIT License

  •1•6•0•0•Updated Feb 19, 2025Feb 19, 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

  decompilerreverse-engineeringsymbolic-execution+ 4program-analysisangrdeep-learningneural-network

  Python

  •

  Apache License 2.0

  •10•76•1•0•Updated Dec 17, 2024Dec 17, 2024

• DMC-Xplorer

  Public
  DMC-Xplorer

  Python

  •

  MIT License

  •0•0•0•0•Updated Nov 25, 2024Nov 25, 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•14•2•0•Updated Sep 12, 2024Sep 12, 2024

• VOGUES

  Public
  Python

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

• btprivacy

  Public
  Shell

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

• AttrackZone

  Public
  Python

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

• SAIN

  Public
  0•4•0•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•0•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•1•0•0•Updated May 6, 2024May 6, 2024

• RVProber

  Public
  Python

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

• LLM_Security_Privacy_Advice

  Public
  Artifacts for ACSAC Paper: Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptions

  Python

  •

  MIT License

  •0•5•0•0•Updated Jan 24, 2024Jan 24, 2024

• GEVisor

  Public
  C++

  •3•11•1•0•Updated Dec 7, 2023Dec 7, 2023

• phasar

  Public
  A LLVM-based static analysis framework.

  C++

  •

  Other

  •143•0•0•0•Updated Oct 30, 2023Oct 30, 2023

• ATT_Analysis

  Public
  An investigation of the App Tracking Transparency (ATT) permission in iOS

  0•1•0•0•Updated Oct 10, 2023Oct 10, 2023

• FuzzSGX

  Public
  Python

  •1•5•2•0•Updated Sep 29, 2023Sep 29, 2023

• PGFuzz

  Public
  Policy-Guided Fuzzing for Robotic Vehicles

  Python

  •14•32•1•0•Updated Sep 18, 2023Sep 18, 2023

• intender

  Public
  A black-box fuzzing framework for the Intent-Based Networking (IBN)

  onosfuzzingsoftware-defined-network+ 1intent-based-networking

  Java

  •

  MIT License

  •1•13•0•0•Updated Aug 14, 2023Aug 14, 2023

• fuzzpd

  Public
  C

  •0•2•0•0•Updated Aug 11, 2023Aug 11, 2023

• Acero

  Public
  Python

  •0•3•1•0•Updated Aug 9, 2023Aug 9, 2023

• PatchVerif

  Public
  0•2•1•0•Updated Aug 7, 2023Aug 7, 2023