flogosec / qemu-avr32Links
The first AVR32 impelmentation for QEMU
☆37Updated last year
Alternatives and similar repositories for qemu-avr32
Users that are interested in qemu-avr32 are comparing it to the libraries listed below
Sorting:
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆53Updated 4 months ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆68Updated 3 months ago
- Coresight Access Library☆123Updated last month
- ☆85Updated 2 years ago
- ☆46Updated 2 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆57Updated last week
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- CoreSight trace stream decoder developed openly☆164Updated last week
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆24Updated 2 months ago
- QEMU-AVR32 OPS-SAT Emulator☆13Updated last year
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆26Updated 4 years ago
- ☆26Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆19Updated last week
- ☆87Updated last year
- ☆161Updated 3 years ago
- ☆51Updated this week
- An open-source deterministic fault attack simulator prototype☆58Updated 4 years ago
- QEMU Development Toolkit☆42Updated 11 months ago
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆65Updated 2 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆13Updated 2 years ago
- Repository for monolithic firmware blobs☆79Updated 3 years ago
- C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…☆19Updated 3 months ago
- The MIT Sanctum processor top-level project☆29Updated 5 years ago
- Symbolic debugger☆21Updated 3 months ago
- ☆19Updated 2 months ago
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- This is the main repo for Penglai.☆69Updated last year
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆57Updated 3 weeks ago
- A Specification-Guided Approach for Firmware Emulation☆41Updated 2 months ago