BSides Canberra·30 min
Ihor Kuz
Ihor Kuz explores "Does Formal Verification Really Lead to Better Security?".
doeformalverification+1
Ihor Kuz
2 talks in the archive.
Filters+
Loading filters…
1–2 of 2 talks · loading…
BSides Canberra·32 min
Ihor Kuz
Ihor Kuz examines "seL4 & Family: Fast, Trustworthy, Cheap, Deployed".
sel4familyfast+3