rafaelrmachado Goto Github PK

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.

galileo

galilleogen2

Repository created to store information and docs related to the Intel Galilleo Gen2 board

hashcat

Advanced CPU-based password recovery utility

hda-emu

HD-audio emulator

hda-emu-1

hdparm

ida-efiutils

Some scripts for IDA Pro to assist with reverse engineering EFI binaries

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

lenovo-password

Implementation of Lenovo ThinkPad HDD password algorithm

linux

Linux kernel source tree

luv-yocto

Linux UEFI Validation Distribution

meanalyzer

Intel Engine Firmware Analysis Tool

minipro

An open source program for controlling the MiniPRO TL866xx series of chip programmers

minix

MINIX 3 (mirror)

minnowboard

mirai-source-code

Leaked Mirai Source Code for Research/IoC Development Purposes

monzax

mps

ms_uefi

Microsoft UEFI repo for open source contributions.

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

mscwork

musl

musl-libc

openbmc

OpenBMC Distribution

opensc

Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend

peepdf

Powerful Python tool to analyze PDF documents

platbox

UEFI and SMM Assessment Tool