"seL4 & Family: Fast, Trustworthy, Cheap, Deployed"
Ihor Kuz examines "seL4 & Family: Fast, Trustworthy, Cheap, Deployed".
Summary
seL4 and family: fast, trustworthy, cheap, deployed.
Related talks
Hack In The Box Security Conference·19 min
Trustworthy Shield
Industry experts analyze emerging threats surrounding #HITBCyberWeek #CommSec D2 - Trustworthy Shield - A Cheap TPM Module For Older Systems.
tpmhitbcyberweekcommsec+3
Videos·29 min
Eyal Itkin
Eyal Itkin details Karta - Fast Source Code Assisted Binary Matching.
kartafastcode+1
Black Hat·46 min
Keynote Speaker: David Weston
Presenters detail vulnerability discovery and exploitation in The End of Rare Defending When Offense Is Cheap.
raredefendingoffense+1