intel / HBFA-FL
☆12Updated 4 months ago
Alternatives and similar repositories for HBFA-FL:
Users that are interested in HBFA-FL are comparing it to the libraries listed below
- EDK II☆16Updated 8 months ago
- Pre-Silicon Hardware Fuzzing Toolkit☆54Updated this week
- Intel ATR Training: Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives☆96Updated 7 years ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆10Updated last year
- ☆16Updated last year
- kAFL Fuzzer☆33Updated 4 months ago
- Main HALucinator branch☆39Updated 10 months ago
- ☆91Updated 7 months ago
- Ledger Donjon CTF 2020☆17Updated 3 years ago
- ☆11Updated 4 years ago
- Linux Security Hardening for Confidential Compute☆66Updated 3 months ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆55Updated 2 years ago
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 4 years ago
- ☆13Updated 5 years ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆17Updated 3 months ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- ☆59Updated last month
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆166Updated 4 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆109Updated last month
- ☆31Updated 7 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆19Updated 4 years ago
- ☆34Updated last year
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆284Updated last month
- ☆55Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆109Updated 3 weeks ago
- VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distri…☆26Updated 4 months ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year