Fwd: [seL4 Announce] seL4 defeats DEF CON hackers

[Mark S. Miller]

Awesome achievement! Congrats!

---------- Forwarded message ---------
From: Announcements about seL4 -- low volume list <anno...@sel4.systems>
Date: Thu, Aug 12, 2021 at 4:37 PM
Subject: [seL4 Announce] seL4 defeats DEF CON hackers
To: anno...@sel4.systems <anno...@sel4.systems>

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!”

https://sel4.systems/news.pml

Gernot
_______________________________________________
Announce mailing list -- anno...@sel4.systems
To unsubscribe send an email to announc...@sel4.systems

--

  Cheers,
  --MarkM