We’re pleased to announce that Matthew A. Clark is joining Galois as a Principal Scientist. Mr. Clark was previously the lead for Autonomous Manned-Unmanned Teaming for the Aerospace Systems Directorate, Air Force Research Laboratory (AFRL). During his tenure at AFRL, Mr. Clark also served as the supervisor of the Autonomous Controls Branch, Power and Control […]
PERMALINK
Cryptographic tool will be leveraged by DHS and, over time, government agencies and corporations seeking to enable cyber security solutions and safeguard sensitive data Galois today announced that it has been awarded a two-year, $800K contract by the Department of Homeland Security (DHS) Science and Technology Directorate (S&T) to develop a tool suite for organizations […]
PERMALINK
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 […]
PERMALINK
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 […]
PERMALINK
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 gatech.edu. At Georgia […]
PERMALINK
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 […]
PERMALINK
We’re excited to announce that Mike Dodds is joining Galois as a Principal Investigator. Dr. Dodds was previously a lecturer in the Department of Computer Science at the University of York and has focused on using formal techniques to verify software correctness. His specific research interests include automated reasoning, separation logic, and concurrent data-structure correctness. […]
PERMALINK
We’re excited to announce that Galois spin-off Tozny is releasing their latest product, InnoVault. InnoVault enables developers to protect sensitive user data they collect simply by adding a few lines of code. It provides simple scripts for fronted code, easy SDKs on the backend, and an API with secure cloud storage behind it. Tozny spun off from Galois […]
PERMALINK
Project award by Office of Naval Research (ONR) will focus on protecting real-time and embedded military software systems by making them resilient to attack Galois today announced that it has been awarded a $2.7 million contract by the Office of Naval Research (ONR) to leverage software brittleness for cyber defense. Modern military systems involve a […]
PERMALINK
The High Confidence Software and Systems (HCSS) conference brings together researchers and organizations on the cutting-edge of safety-, security- and mission-critical applications and is now in its second decade. The main themes of HCSS 2017 are Privacy, Assurance for AI, Industrialization of Formal Methods, and Technology and Model Cross-over. If you are attending, Galois and […]
PERMALINK