formal-verification

2 talks tagged with this topic.

Filters+

Loading filters…

1–2 of 2 talks · loading…

Sort

The Linux Foundation·38 min

LINUX FOUNDATION
Hardware
Date: 2025
Location: Linux Foundation

Formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer

Explores formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer and evaluates key implications for security practitioners.

formal-verificationverification-embeddedembedded-linux+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