USENIX Security '22 - Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program

Name: USENIX Security '22 - Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program
Duration: 13 min 22 s
Description: USENIX Security '22 - Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program — a USENIX security conference talk on vuln-research (13:22 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 13:22

▶

USENIX Security '22 - Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program — a USENIX security conference talk on vuln-research (13:22 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive