Steal This Drone: High Assurance Cyber Military Systems
8 views
Skip to first unread message
William ML Leslie
Sep 2, 2021, 5:44:11 AM9/2/21
to cap-talk, devel
Looks like the HACMS talk from Collins Aerospace at DEFCON is up.
This covers the system they built to fly aircraft on seL4, and
especially the tools they used to do so. It's pretty light on
technical content, but still quite impressive.
https://youtu.be/X9rsv4YIShY
--
William Leslie
Q: What is your boss's password?
A: "Authentication", clearly
Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law. You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
This covers the system they built to fly aircraft on seL4, and
especially the tools they used to do so. It's pretty light on
technical content, but still quite impressive.
https://youtu.be/X9rsv4YIShY
--
William Leslie
Q: What is your boss's password?
A: "Authentication", clearly
Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law. You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
Reply all
Reply to author
Forward
0 new messages