Popular repositories Loading

1. p2im p2im Public

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

   C 139 31

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

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

   C 63 14

3. FICS FICS Public

   Python 50 19

4. muse muse Public

   Source code of MEUZZ fuzzer

   Python 45 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 33 4

6. kubo 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++ 25 3