seL4 defeats DEF CON hackers

On 6 August DARPA brought the “SMACCMcopter” to DEF CON and invited the assembled hacker elite to attack it. The SMACCMcopter was the research vehicle of the Air Team at DARPA’s HACMS program. The Trustworthy Systems team worked with project partners to deploy seL4 and leverage formal methods to protect the drone from cyber attacks.

The result? Predictably, sel4’s verified security enforcement defeated the hackers comprehensively. As DARPA said: “Formal methods FTW!”