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 […]
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 […]
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. […]
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 […]
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 […]
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 […]
RAMPARTS initiative to explore feasibility of leveraging fully homomorphic encryption (FHE) to secure data processing in untrusted environments Galois announced today that it has been awarded a $1 million contract by The Intelligence Advanced Research Projects Activity (IARPA), in the Office of the Director of National Intelligence, to explore the feasibility of securing data while […]
Galois, an R&D organization that specializes in developing innovative security technologies today announced its first Dayton office, reflecting a commitment to driving technology innovation in Ohio and expanding the support it provides to defense agencies and commercial organizations throughout the region. Headquartered in Portland, OR, Dayton is Galois’s third U.S. location. Galois has signed a […]
Galois today announced two benchmark challenges – sponsored by DARPA – that invite competitive submissions able to break the security of program obfuscation technology designed to prevent software ‘reverse engineering.’ The challenges are part of DARPA’s SafeWare program that funds research aimed to make software less susceptible to being hacked or compromised. The challenges are […]
Award part of a growing number of Galois projects focused on helping organizations deploy safe, and cost-effective deception technology to deal with cyber threats. Galois announced today that it has been awarded a $750,000 grant from the Air Force Research Lab (AFRL) to develop a new, advanced network cyber deception technology: Prattle. Prattle generates […]
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.