Skip to content
Change the repository type filter

All

    Repositories list

    • ProTST

      Public
      Python
      0000Updated Dec 21, 2024Dec 21, 2024
    • DnD

      Public
      A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
      Python
      Apache License 2.0
      107310Updated Dec 17, 2024Dec 17, 2024
    • A versatile and easy-to-use static binary patching tool.
      Python
      BSD 2-Clause "Simplified" License
      63310Updated Dec 17, 2024Dec 17, 2024
    • VeriBin

      Public
      Adaptive Verification of Patches at the Binary Level
      Python
      Apache License 2.0
      0100Updated Dec 9, 2024Dec 9, 2024
    • Pieces

      Public
      Compartmentalization using hadrware and software techniques.
      C
      MIT License
      0600Updated Dec 4, 2024Dec 4, 2024
    • DMC-Xplorer
      Python
      MIT License
      0000Updated Nov 25, 2024Nov 25, 2024
    • Python
      BSD 2-Clause "Simplified" License
      0100Updated Oct 22, 2024Oct 22, 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
      11320Updated Sep 12, 2024Sep 12, 2024
    • VOGUES

      Public
      Python
      1010Updated Aug 17, 2024Aug 17, 2024
    • btprivacy

      Public
      Shell
      0100Updated Aug 15, 2024Aug 15, 2024
    • Python
      2400Updated Aug 12, 2024Aug 12, 2024
    • SAIN

      Public
      0200Updated Jul 18, 2024Jul 18, 2024
    • Physical Side-Channel Attacks against Intermittent Devices
      MIT License
      0100Updated Jul 7, 2024Jul 7, 2024
    • AKF

      Public
      Python
      0000Updated Jun 4, 2024Jun 4, 2024
    • WearOS

      Public
      Understanding the Cross-Device Runtime Permission Model in Wearables
      Java
      MIT License
      2500Updated May 18, 2024May 18, 2024
    • A comprehensive formal model of Bluetooth Mesh security protocols
      Shell
      0100Updated May 6, 2024May 6, 2024
    • RVProber

      Public
      Python
      1100Updated Apr 30, 2024Apr 30, 2024
    • Artifacts for ACSAC Paper: Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptions
      Python
      MIT License
      0300Updated Jan 24, 2024Jan 24, 2024
    • GEVisor

      Public
      C++
      31000Updated Dec 7, 2023Dec 7, 2023
    • phasar

      Public
      A LLVM-based static analysis framework.
      C++
      Other
      142000Updated Oct 30, 2023Oct 30, 2023
    • An investigation of the App Tracking Transparency (ATT) permission in iOS
      0000Updated Oct 10, 2023Oct 10, 2023
    • FuzzSGX

      Public
      Python
      1820Updated Sep 29, 2023Sep 29, 2023
    • PGFuzz

      Public
      Policy-Guided Fuzzing for Robotic Vehicles
      Python
      143410Updated Sep 18, 2023Sep 18, 2023
    • intender

      Public
      A black-box fuzzing framework for the Intent-Based Networking (IBN)
      Java
      MIT License
      11300Updated Aug 14, 2023Aug 14, 2023
    • fuzzpd

      Public
      C
      0200Updated Aug 11, 2023Aug 11, 2023
    • Acero

      Public
      Python
      0210Updated Aug 9, 2023Aug 9, 2023
    • 0210Updated Aug 7, 2023Aug 7, 2023
    • DoS against Belkin smart plugs via crafted firmware injection
      JavaScript
      1100Updated Jul 16, 2023Jul 16, 2023
    • Python
      1500Updated Jun 22, 2023Jun 22, 2023
    • Evasion Attacks and Defenses on Smart Home Physical Event Verification
      MATLAB
      3100Updated Feb 24, 2023Feb 24, 2023