Skip to content

@RiS3-Lab RiS3 Lab

Change the repository type filter

All

    Repositories list

    18 repositories

    • SHiFT

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

    • ShadowNet

      Public
      Open-source code and data for ShadowNet(S&P Oakland'23)
      gpumodelmlinferencesecureon-device
      Java
      •0•11•1•0•Updated Mar 11, 2024Mar 11, 2024

    • DICE-DMA-Emulation

      Public
      DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
      C
      •
      Other
      •14•64•3•1•Updated Oct 14, 2023Oct 14, 2023

    • p2im

      Public
      This is the source code for P2IM paper (accepted to Usenix Security'20)
      p2im
      C
      •
      Other
      •32•141•3•0•Updated Oct 14, 2023Oct 14, 2023

    • D-Box

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

    • HOSIT

      Public
      A Node.js Framework to imitate human internet browsing behavior on Chrome
      JavaScript
      •
      MIT License
      •5•1•0•0•Updated Aug 8, 2022Aug 8, 2022

    • nyx-net

      Public
      Python
      •26•0•0•0•Updated 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 In…
      Python
      •
      Other
      •5•34•0•0•Updated 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
      •140•0•0•0•Updated Jan 27, 2022Jan 27, 2022

    • muse

      Public
      Source code of MEUZZ fuzzer
      Python
      •
      Apache License 2.0
      •6•46•1•0•Updated 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++
      •3•25•4•1•Updated Sep 5, 2021Sep 5, 2021

    • PTAuth

      Public
      C++
      •3•8•0•0•Updated Jul 2, 2021Jul 2, 2021

    • p2im-unit_tests

      Public
      Unit test firmware evaluated in P2IM paper
      p2im
      C
      •6•11•1•0•Updated Jul 2, 2021Jul 2, 2021

    • FICS

      Public
      Python
      •
      Apache License 2.0
      •19•50•4•0•Updated Dec 19, 2020Dec 19, 2020

    • p2im-real_firmware

      Public
      Real firmware fuzz-tested in P2IM paper
      p2im
      C
      •
      Other
      •6•24•2•0•Updated Dec 11, 2020Dec 11, 2020

    • OAT-Project

      Public
      Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
      C++
      •
      Apache License 2.0
      •7•16•6•0•Updated Nov 10, 2020Nov 10, 2020

    • polytracker

      Public
      An LLVM-based instrumentation tool for universal taint analysis.
      C++
      •
      Apache License 2.0
      •50•0•0•0•Updated Sep 24, 2020Sep 24, 2020

    • p2im-ground_truth

      Public
      Register category ground truth for P2IM
      p2im
      2•3•0•0•Updated Mar 11, 2020Mar 11, 2020