USENIX Security '18 - HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security

Name: USENIX Security '18 - HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security
Duration: 22 min 1 s
Description: USENIX Security '18 - HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security — a USENIX security conference talk on exploit-dev (22:01 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 22:01

▶

USENIX Security '18 - HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security — a USENIX security conference talk on exploit-dev (22:01 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

exploit-dev

← Back to the Breach Arc Archive