"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz

Name: "Does Formal Verification Really Lead to Better Security?" - Ihor Kuz
Uploaded: 2019-01-01
Duration: 29 min 55 s
Description: "Does Formal Verification Really Lead to Better Security?" - Ihor Kuz — a 2019 BSides Canberra 2019 security conference talk on vuln-research (29:55 min). Watch the full video, indexed free on the Breach Arc Archive.

BSides Canberra 2019 · 2019 · 29:55 · Ihor Kuz

▶

"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz — a 2019 BSides Canberra 2019 security conference talk on vuln-research (29:55 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive