DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification

Name: DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification
Uploaded: 2022-01-01
Duration: 41 min 48 s
Description: DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification — a 2022 DEF CON security conference talk on exploit-dev (41:48 min). Watch the full video, indexed free on the Breach Arc Archive.

DEF CON · 2022 · 41:48 · Adam Zabrocki, Alex Tereshkin

▶

DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification — a 2022 DEF CON security conference talk on exploit-dev (41:48 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

exploit-dev

← Back to the Breach Arc Archive