Home
Talks
CFP Guide
What is BSides?
About
Contact
Light
← All talks
Tool
BSides talks featuring seL4
2
talks mention this tool across
1
BSides chapters.
Talks featuring seL4
32:01
"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz
Ihor Kuz
BSides Canberra
· 2018
Technical
Talk
Open →
2018-08
29:55
"Does Formal Verification Really Lead to Better Security?" - Ihor Kuz
Ihor Kuz
BSides Canberra
· 2019
Talk
Open →
2019-05
