Skip to content
@RiS3-Lab

RiS3 Lab

Popular repositories

  1. p2im p2im Public

    This is the source code for P2IM paper (accepted to Usenix Security'20)

    C 124 31

  2. DICE-DMA-Emulation DICE-DMA-Emulation Public

    DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

    C 55 14

  3. FICS FICS Public

    Python 49 19

  4. muse muse Public

    Source code of MEUZZ fuzzer

    Python 42 5

  5. ModelXRay ModelXRay Public

    On-device Machine Learning model analyzer and extractor for Android Apps, check out our USENIX Security'21 paper "Mind Your Weight(s): A Large-scale Study on Insufficient Machine Learning Model Pro…

    Python 27 3

  6. p2im-real_firmware p2im-real_firmware Public

    Real firmware fuzz-tested in P2IM paper

    C 22 6

Repositories

Showing 10 of 17 repositories
  • ShadowNet Public

    Open-source code and data for ShadowNet(S&P Oakland'23)

    Java 3 1 1 0 Updated Mar 11, 2024
  • DICE-DMA-Emulation Public

    DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

    C 55 14 3 1 Updated Oct 14, 2023
  • p2im Public

    This is the source code for P2IM paper (accepted to Usenix Security'20)

    C 124 31 1 0 Updated Oct 14, 2023
  • D-Box Public

    This is the repository for D-Box paper presented at NDSS 2022 Symposium

    C 2 MIT 0 0 0 Updated Sep 19, 2022
  • HOSIT Public Forked from das-group/HOSIT

    A Node.js Framework to imitate human internet browsing behavior on Chrome

    JavaScript 1 MIT 6 0 0 Updated Aug 8, 2022
  • Python 0 20 0 0 Updated Apr 9, 2022
  • ModelXRay Public

    On-device Machine Learning model analyzer and extractor for Android Apps, check out our USENIX Security'21 paper "Mind Your Weight(s): A Large-scale Study on Insufficient Machine Learning Model Protection in Mobile Apps"

    Python 27 3 0 0 Updated Feb 8, 2022
  • dg Public Forked from mchalupa/dg

    [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

    C++ 0 MIT 141 0 0 Updated Jan 27, 2022
  • muse Public

    Source code of MEUZZ fuzzer

    Python 42 Apache-2.0 5 1 0 Updated Dec 11, 2021
  • kubo Public

    Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detection for Linux kernel.

    C++ 22 3 4 1 Updated Sep 5, 2021

Top languages

Loading…

Most used topics

Loading…