COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra

Name: COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra
Duration: 40 min 38 s
Description: COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra — a Irongeek (Adrian Crenshaw) security conference talk on web-appsec (40:38 min). Watch the full video, indexed free on the Breach Arc Archive.

Irongeek (Adrian Crenshaw) · 40:38

▶

COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra — a Irongeek (Adrian Crenshaw) security conference talk on web-appsec (40:38 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

web-appsec

← Back to the Breach Arc Archive