Made in Oregon: The Most Secure UAV Software in the World -> 60 Minutes (Video)

Galois, Inc. of Portland, Oregon, leader in research and development of computer software for systems that must not fail.   Featured on CBS 60 minutes last night, showing work dubbed as “likely the most secure UAV software in the world.”

Did you know we have a sizable team of some of the most advanced cyber security, crypto, and “high assurance” computer scientists right here in downtown Portland?   Their mission:  invent technologies that  let us rely on computer systems.   Given recent news of ongoing security breaches, doesn’t that sound like something we need more of?

Here’s the video from 60 Minutes that aired last night.

Full Article Here