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
BizHawk is a multi-system emulator written in C#. BizHawk provides nice features for casual gamers such as full screen, and joypad support in addition to full rerecording and debugging tools for all system cores.
BizHawk-Prereqs
BizHawk Prerequisite Installer
BootLoader
Dell BIOS Rootkit source code from the real world
FSP
Repository of FSP binaries posted by Intel
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
Platbox
UEFI and SMM Assessment Tool
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.
TTS
:robot: :speech_balloon: Deep learning for Text to Speech (Discussion forum: https://discourse.mozilla.org/c/tts)
UEFI-Utilities-2019
Various UEFI utilities built against UDK2018. Includes X64 binaries.
uefi_r2
Tools for analyzing UEFI firmware using radare2/rizin
UEFITool
UEFI firmware image viewer and editor