Skip to content

Speakers

Adam Zabrocki

7 talks in the archive.

Filters+

Loading filters…

1–7 of 7 talks · loading…

Main Stage·42 min

  • DEF CON
  • AppSec
  • Date: Aug 2022
  • Location: Las Vegas

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