"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz
Speakers
About this talk
"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz BSides Canberra 2019
Related talks
32:01"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz
BSides Canberra · 2018
43:48How I fully compromised the "most advanced code execution system in the world"
BSides Canberra
23:15APT Attack Techniques in Azure Cloud
BSides Canberra
56:44"Finding Tony Abbott's Passport Number and entering the Do Not Get Arrested Challenge 2020" - "Alex"
BSides Canberra · 2021
56:17What's in a Jailbreak? Hacking the iPhone: 2014 - 2019
BSides Canberra · 2019
40:07The Exploit Development Life Cycle: From Concept to Compromise
BSides Canberra