“For those who might recall an alarming story recently from “60 Minutes” regarding the potential for motor vehicles, smart homes and drones to be hacked, Galois’s new secure software might assuage such concerns. The tech company from Oregon recently announced it has developed “the world’s most secure [drone] software.””

“We’ve developed a new programming language that is provably free from those vulnerabilities,” Lee Pike, cyber-physical systems research lead for Galois, said in a statement. “The approach is to transition the programming language we’ve developed, called Ivory, to Boeing so that they can rewrite their systems.”

“If you caught CBS’ “60 Minutes” on Sunday, you got a glimpse of some of the work generated by downtown Portland-based Galois.”

“All kinds of experimental systems have been designed in the last 15 years,” said Joseph Kiniry, the principal investigator at the technology firm Galois who is researching the possibility of end-to-end verifiable online voting with the Overseas Vote Foundation. “But in general researchers are quite conservative about proposing that their system is ready for primetime. […]

John Launchbury, who founded Galois in 1999, is headed to Washington, D.C., this summer as project manager for the Information Innovation Office at the Defense Advanced Research Projects Agency (DARPA). Launchbury, previously the CEO of Galois, has left the company and is currently a research professor at Willamette University.

I caught up with security researchers at downtown-based Galois, a company dedicated to making computer systems worthy of the trust we put in them. This massive bug, called Heartbleed, has highlighted the need for companies, especially those with secure transactions, to have regular security audits and plans in place on how to deal with issues […]