Securing Existing Software using Formally Verified Libraries

Name: Securing Existing Software using Formally Verified Libraries
Uploaded: 2020-01-01
Duration: 22 min 39 s
Description: Securing Existing Software using Formally Verified Libraries — a 2020 FOSDEM 2020 security conference talk (22:39 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2020 · 2020 · 22:39

▶

Securing Existing Software using Formally Verified Libraries — a 2020 FOSDEM 2020 security conference talk (22:39 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive