SyzTrust / syztrust
SyzTrust's main repository. Start here to install.
☆14Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for syztrust
- ☆44Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆15Updated 5 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆55Updated last year
- ☆34Updated 2 years ago
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆26Updated 3 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆27Updated 2 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆18Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆23Updated 10 months ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆61Updated last year
- ☆12Updated 2 years ago
- ☆54Updated 6 months ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆15Updated 2 years ago
- Real firmware fuzz-tested in P2IM paper☆23Updated 3 years ago
- ☆18Updated 3 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆13Updated 4 years ago
- ☆33Updated last year
- ViDeZZo source code.☆30Updated 3 weeks ago
- ☆21Updated 6 months ago
- Pre-Silicon Hardware Fuzzing Toolkit☆48Updated 3 weeks ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆54Updated 2 years ago
- ☆24Updated 2 years ago
- ☆20Updated 4 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆21Updated last month
- A Specification-Guided Approach for Firmware Emulation☆35Updated 4 months ago
- Side-channel Analysis☆15Updated 2 years ago
- Repository for monolithic firmware blobs☆70Updated 2 years ago
- Security benchmarks for the Internet of Things☆23Updated 4 years ago
- ☆75Updated last year