hardenedvault / vaultboot
Security payload for next-Gen firmware architecture
☆52Updated 2 years ago
Alternatives and similar repositories for vaultboot:
Users that are interested in vaultboot are comparing it to the libraries listed below
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆35Updated 8 years ago
- ☆32Updated 5 years ago
- An open source implementation of an AMD-V Secure Loader.☆25Updated 3 years ago
- ☆45Updated 6 years ago
- ☆34Updated 2 years ago
- Toshiba MeP-c4 for Ghidra☆22Updated 5 years ago
- A tool for parsing common ACPI tables☆14Updated 4 years ago
- Helper plugin for analyzing UEFI firmware☆90Updated 10 months ago
- iTLB multihit PoC☆40Updated last year
- SD/MMC Analyzer for Saleae Logic☆37Updated last year
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- ☆10Updated 7 years ago
- Thunderclap QEMU-based network card emulation☆27Updated 2 years ago
- ☆29Updated 6 years ago
- ☆15Updated 4 years ago
- Thunderclap hardware for Intel Arria 10 FPGA☆32Updated 5 years ago
- decode bits into bytes☆46Updated 4 years ago
- Slides from Public Talks☆18Updated 3 years ago
- PoC for PixieFail vulnerabilities☆22Updated last year
- A framework for parsing binary data.☆17Updated 2 years ago
- Check if the trust of a ROM image may be affected by the recent Intel Alder Lake leak☆17Updated last year
- Converged Security Suite for Intel & AMD platform security features☆60Updated 2 months ago
- Image manipulation tools for the Management Engine firmware☆35Updated 6 years ago
- ☆27Updated 3 years ago
- ugly code to check linux kernel memory and dump some internal structures☆46Updated 4 months ago
- ☆31Updated 4 years ago
- ☆174Updated last month
- A Ghidra processor module for the EFI Byte Code (EBC)☆31Updated 4 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- carrier board for using the seeduino xiao (or xiaorp2040, adfruit qt py, qt py 2040) for jtagulating and implanting☆26Updated 3 months ago