Galois Successfully Demonstrates ‘Anti-Hacking’ Software For UAVs And Cars

Portland, OR (PRWEB) March 09, 2015 To address growing evidence that commercial Unmanned Aerial Vehicles (UAV), automobiles and other vehicles are vulnerable to hacking and sophisticated cyber security attacks, Galois today announced it has developed and successfully demonstrated what has been called “the world’s most secure UAV software.” As experts in protecting information, devices, networks, and vehicles, Galois conducted a successful demonstration for the U.S. Defense Advanced Research Projects Agency’s High-Assurance Cyber Military Systems (HACMS) program. Galois is part of a team that produced provably correct and secure software that…

Read More