8000 RiS3-Lab repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000
Change the repository type filter

All

    Repositories list

    • SHiFT

      Public
      SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
      C
      MIT License
      11000Updated Dec 10, 2024Dec 10, 2024
    • ShadowNet

      Public
      Open-source code and data for ShadowNet(S&P Oakland'23)
      Java
      1910Updated Mar 11, 2024Mar 11, 2024
    • DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
      C
      Other
      146131Updated Oct 14, 2023Oct 14, 2023
    • p2im

      Public
      This is the source code for P2IM paper (accepted to Usenix Security'20)
      C
      Other
      3013630Updated Oct 14, 2023Oct 14, 2023
    • D-Box

      Public
      This is the repository for D-Box paper presented at NDSS 2022 Symposium
      C
      MIT License
      0300Updated Sep 19, 2022Sep 19, 2022
    • HOSIT

      Public
      A Node.js Framework to imitate human internet browsing behavior on Chrome
      JavaScript
      MIT License
      5100Updated Aug 8, 2022Aug 8, 2022
    • nyx-net

      Public
      Python
      22000Updated Apr 9, 2022Apr 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
      Other
      43100Updated Feb 8, 2022Feb 8, 2022
    • dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      MIT License
      137000Updated Jan 27, 2022Jan 27, 2022
    • muse

      Public
      Source code of MEUZZ fuzzer
      Python
      Apache License 2.0
      54510Updated Dec 11, 2021Dec 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++
      32341Updated Sep 5, 2021Sep 5, 2021
    • PTAuth

      Public
      C++
      4800Updated Jul 2, 2021Jul 2, 2021
    • Unit test firmware evaluated in P2IM paper
      C
      61010Updated Jul 2, 2021Jul 2, 2021
    • FICS

      Public
      Python
      Apache License 2.0
      194940Updated Dec 19, 2020Dec 19, 2020
    • Real firmware fuzz-tested in P2IM paper
      C
      Other
      62420Updated Dec 11, 2020Dec 11, 2020
    • Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
      C++
      Apache License 2.0
      81560Updated Nov 10, 2020< 5600 relative-time sx="[object Object]" class="sc-aXZVg cnWhWn">Nov 10, 2020
    • An LLVM-based instrumentation tool for universal taint analysis.
      C++
      Apache License 2.0
      45000Updated Sep 24, 2020Sep 24, 2020
    • Register category ground truth for P2IM
      2300Updated Mar 11, 2020Mar 11, 2020
    0