Rafael Rodrigues Machado's repositories
Msc_UefiHda_PreOs_Accessibility
This is the sample code developed during my Msc, where I created a UEFI application capable of processing sound streams at UEFI environment
arm-basics.com
This website will be closed in July 15 2018 23:59:59, London time.
BizHawk-Prereqs
BizHawk Prerequisite Installer
BootLoader
Dell BIOS Rootkit source code from the real world
ftpm_attack
Code and data artifacts for our paper: "faulTPM: Exposing AMD fTPMs’ Deepest Secrets"
FwHunt
The Binarly Firmware Hunt (FwHunt) rule format was designed to scan for known vulnerabilities in UEFI firmware.
GalilleoGen2
Repository created to store information and docs related to the Intel Galilleo Gen2 board
intel-leak-checker
Check if the trust of a ROM image may be affected by the recent Intel Alder Lake leak
Intel-ME-region-injector
Inject intel ME region to BIOS
karonte
Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
MEAnalyzer
Intel Engine Firmware Analysis Tool
MS_UEFI
Microsoft UEFI repo for open source contributions.
openbmc
OpenBMC Distribution
Project_Olympus
The specifications, designs as well as all subdirectories found in the directory are licensed under the OWFa1.0 license and it can be found at:http://www.openwebfoundation.org/legal/the-owf-1-0-agreements/owfa-1-0
routersploit
Exploitation Framework for Embedded Devices
SignedUEFIShell
Information about a signed UEFI Shell that can be used when Secure Boot is enabled.
UEFI-Utilities-2019
Various UEFI utilities built against UDK2018. Includes X64 binaries.