ris3-lab Goto Github PK

d-box

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

dg

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

dice-dma-emulation

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

fics

hosit

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

kubo

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

modelxray

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"

muse

Source code of MEUZZ fuzzer

nyx-net

oat-project

Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)

p2im

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

p2im-ground_truth

Register category ground truth for P2IM

p2im-real_firmware

Real firmware fuzz-tested in P2IM paper

p2im-unit_tests

Unit test firmware evaluated in P2IM paper

polytracker

An LLVM-based instrumentation tool for universal taint analysis.

ptauth

shadownet

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