"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz
Speakers
Tags
StyleTalk
About this talk
BSides Canberra 2018 Slide deck: https://drive.google.com/open?id=1EcboIaABt6jd52-OoSNJfAAPbOieWR-o
Related talks
29:55"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz
BSides Canberra · 2019
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:06"Easy LPEs and Common Software Vulnerabilities" - Christopher Vella
BSides Canberra · 2021
45:31"Source code security audit speed run" - Eldar Marcussen
BSides Canberra · 2019
45:46You can be an iOS hacker: Stack Pivots and JOP/ROPs
BSides Canberra · 2024