Alex Tereshkin

2 talks in the archive.

Filters+

Loading filters…

1–2 of 2 talks · loading…

Sort

Main Stage·46 min

DEF CON
Hardware
Date: Aug 2023
Location: Las Vegas

Breaking BMC: The Forgotten Key to the Kingdom

Alex Tereshkin · Adam Zabrocki

NVIDIA offensive researchers detail chaining a dozen vulnerabilities in AMI MegaRAC BMCs, demonstrating remote exploitation to flash persistent implants into server SPI flash.

bmcipmihardware+2

Main Stage·42 min

DEF CON
AppSec
Date: Aug 2022
Location: Las Vegas

Exploitation in the Era of Formal Verification

Adam Zabrocki · Alex Tereshkin

Adam Zabrocki and Alex Tereshkin examine software exploitation in formally verified systems, identifying design flaws and specification gaps that bypass proofs.

formal-verificationexploit-developmentbinary-exploitation+2