"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz
▶"seL4 & Family: Fast, Trustworthy, Cheap, Deployed" - Ihor Kuz — a 2018 BSides Canberra 2018 security conference talk on hardware-firmware (32:01 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube