sel4

BSides Canberra·32 min

• BSides
• Red Team
• Date: 2025
• Location: Bsides

Ihor Kuz

Ihor Kuz examines "seL4 & Family: Fast, Trustworthy, Cheap, Deployed".

Aerospace Village·25 min

• DEF CON
• AppSec
• Date: Aug 2021
• Location: Las Vegas

Darren Cofer

Darren Cofer presents outcomes from DARPA's HACMS program, building provably secure military drone flight control software using seL4 microkernels and formal verification.