# seL4 defeats DEF CON hackers

**URL:** <https://sel4.discourse.group/t/sel4-defeats-def-con-hackers/392>\
**Category:** Uncategorized\
**Created:** [August 12, 2021, 11:36pm UTC](https://sel4.discourse.group/t/sel4-defeats-def-con-hackers/392 "2021-08-12T23:36:41Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gernot](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/gernot/32/44_2.png) [@gernot](https://sel4.discourse.group/u/gernot)\
**Post date:** [August 12, 2021, 11:36pm UTC](https://sel4.discourse.group/t/sel4-defeats-def-con-hackers/392/1 "2021-08-12T23:36:41Z")

</div>

On 6 August [DARPA](https://www.darpa.mil/) brought the “SMACCMcopter” to [DEF CON](https://aerospacevillage.org/category/defcon/) and invited the assembled hacker elite to attack it. The SMACCMcopter was the _research vehicle_ of the Air Team at DARPA’s [HACMS](https://www.darpa.mil/program/high-assurance-cyber-military-systems) program. The Trustworthy Systems team [worked with project partners](https://trustworthy.systems/projects/TS/SMACCM/) 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](https://twitter.com/raymondrichards/status/1424230000144826372) comprehensively. As [DARPA said:](https://twitter.com/DARPA/status/1424752441900339200) “Formal methods FTW!”