Home
About
What is BSides?
CFP Guide
Talks
Contact
Light
← All talks
"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz
▶
BSides Canberra · 2019
29:55
198 views
Published 2019-05
Watch on YouTube ↗
Speakers
Ihor Kuz
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:48
How I fully compromised the "most advanced code execution system in the world"
BSides Canberra
23:15
APT 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:17
What's in a Jailbreak? Hacking the iPhone: 2014 - 2019
BSides Canberra · 2019
40:07
The Exploit Development Life Cycle: From Concept to Compromise
BSides Canberra