Drones are an integral part of modern warfare, which is just one of many reasons why it would be unusually bad if malefactors were able to hack them. (See the recently finished season of 24.) seL4, an ironclad drone programming protocol, is about to go open-source, allowing both governments and enthusiasts to keep their autonomous flying machines secure.