
sgxray
Herramienta de razonamiento automatizado basada en el verificador SMACK que detecta errores de enclave SGX por violaciones del límite de confianza,…

Herramienta de razonamiento automatizado basada en el verificador SMACK que detecta errores de enclave SGX por violaciones del límite de confianza,…

Plataforma asequible de hacking WiFi para pruebas y aprendizaje

Herramienta y framework para leer de forma segura dispositivos de almacenamiento masivo USB no confiables.

Espejo oficial de solo lectura de OpenOCD (sin pull requests)

Una herramienta para verificar las opciones de endurecimiento de seguridad del kernel de Linux.

Plugin y cargador de IDA para análisis de firmware UEFI y automatización de ingeniería inversa

Depurador x86 en modo real inyectable para ingeniería inversa de BIOS y depuración de código arbitrario en modo real a través de cable serie, con…

Framework para compilar y ejecutar aplicaciones Go en procesadores bare metal, que permite el desarrollo seguro de firmware con una superficie de…

Herramienta de ataque OSDP (y la palabra élfica para amigo)

Herramienta de evaluación de seguridad de plataforma para volcar y analizar registros UEFI/SMM, espacio de configuración PCI, memoria física, flash…

Sencilla pero elegante herramienta para obtener la arquitectura de la CPU

EMBA - El analizador de seguridad de firmware

The firmware engineering home of the Cryptohack electronic badge project.

La sede de ingeniería móvil del proyecto Cryptohack Badge.

El hogar del paquete de soporte de placa de firmware del primer proyecto de insignia electrónica de Circuit Crafters.

El hogar de ingeniería de firmware del primer proyecto de placa electrónica de Circuit Crafters.

Colección seleccionada de especificaciones abiertas para sistemas de vehículos integrados con IA, que abarcan autonomía, percepción, navegación,…

El hogar de ingeniería de hardware del primer proyecto de placa electrónica de Circuit Crafters.