[5B] Efficient Proofs of Software Exploitability for Real-world Processors

Name: [5B] Efficient Proofs of Software Exploitability for Real-world Processors
Uploaded: 2023-01-01
Duration: 15 min 26 s
Description: [5B] Efficient Proofs of Software Exploitability for Real-world Processors — a 2023 PETS 2023 / Day 3 security conference talk on exploit-dev (15:26 min). Watch the full video, indexed free on the Breach Arc Archive.

PETS 2023 / Day 3 · 2023 · 15:26

▶

[5B] Efficient Proofs of Software Exploitability for Real-world Processors — a 2023 PETS 2023 / Day 3 security conference talk on exploit-dev (15:26 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

exploit-dev

← Back to the Breach Arc Archive