“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 […]