Tozny launches end-to-end encryption toolkit for developers

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

Galois presentations at High Confidence Software and Systems (HCSS) 2017

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

Galois Awarded $1 million IARPA Contract To Improve Security Of Data Computation

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

PERMALINK

Galois Launches First Office in Dayton, OH

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

PERMALINK

DARPA, Galois Launch Benchmark Challenges To Prevent Software ‘Reverse Engineering’

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

PERMALINK

Galois Awarded Air Force Grant For Advanced Cyber Deception Technology

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

PERMALINK

Galois and Guardtime Federal Awarded $1.8M DARPA Contract to Formally Verify Blockchain-Based Integrity Monitoring System

Galois and Guardtime Federal today announced they have jointly been awarded a $1.8 million contract by the Defense Advanced Research Projects Agency (DARPA) to verify the correctness of Guardtime Federal’s Keyless Signature Infrastructure (KSI). The contract will fund a significant effort that aims to advance the state of formal verification tools and all blockchain-based integrity […]

PERMALINK