COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra

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

Irongeek (Adrian Crenshaw) · 35:34

▶

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

▶ Watch video on YouTube

web-appsec

← Back to the Breach Arc Archive