Home
About
What is BSides?
CFP Guide
Talks
Contact
Light
← All talks
"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz
▶
BSides Canberra · 2018
32:01
630 views
Published 2018-08
Watch on YouTube ↗
Speakers
Ihor Kuz
Tags
Style
Talk
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: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: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:46
You can be an iOS hacker: Stack Pivots and JOP/ROPs
BSides Canberra · 2024