Building tools to secure computer processors

Government Computer News

Kiniry is leading a team that has just been awarded a $4.5 million contract from the Defense Advanced Research Projects Agency to develop tools and methodologies for designing secure CPUs.  The project — Balancing Evaluation of System Security Properties with Industrial Needs (BESSPIN) — will develop security metrics and a framework for making decisions about […]


Galois Awarded $4.5 Million DARPA Contract To Strengthen Hardware Security

Project award by DARPA Microsystems Technology Office (MTO) re-imagines approach to security for design and development of CPUs, smartphone chips, other hardware Galois today announced that it has been awarded a multi-year contract by the Defense Advanced Research Projects Agency (DARPA) Microsystems Technology Office (MTO) to develop tools and methodologies that enable provable security for […]

Read More

Navy Awards Galois $2 Million Contract For Cryptographic Security

Open source cryptographic workbench aims to enable cryptographers to more easily meet evolving security needs PORTLAND, Ore., Jan 17, 2018 – Galois today announced that it has been awarded a $2 million contract by the Office of Naval Research (ONR) to build a workbench that aims to ease the design process for cryptographic algorithms. For the […]

Read More

Bill Harris joins Galois as Principal Investigator

We’re thrilled to share that William Harris is joining Galois as Principal Investigator. Dr. Harris was previously an Assistant Professor of Computer Science at Georgia Tech. His work has focused on program verification and synthesis, and software security. For a complete list of his research and activities, see his personal page at At Georgia […]

Read More

Education Bill Drops


“This legislation marks a sea change in the continuing conflict between personal privacy and public good,” said David Archer, principal research scientist at Galois, a computer science firm. “The technology mandated here assures two things: that public policies affecting real people can be decided based on factual data about them, and that the privacy of […]


End-to-end data encryption: why HTTPS is not enough

SC Magazine

As secure HTTPS becomes more pervasive, it is worth asking: why should you end-to-end encrypt data when HTTPS is pretty secure? The answer is that HTTPS is an important but small piece of the crypto puzzle. Organizations determining what additional security requirements are needed should start the process by answering a few key questions


Former DARPA I2O director joins Galois as Chief Scientist

We are excited to announce that Dr. John Launchbury is joining Galois as Chief Scientist. Dr. Launchbury was formerly the Director of the Information Innovation Office (I2O) at DARPA, where he led nation-scale investments in the future of cyber-security and artificial intelligence. Dr. Launchbury plans to pursue his vision of creating provably safe and secure […]

Read More