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.8 Million 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

CyberChaff at Reed College

Formaltech, a Galois subsidiary, and Reed are excited to celebrate CyberChaff’s first month of service at Reed. Formaltech’s CyberChaff allows you to deploy low-cost, secure decoy hosts on a network. The hosts alert administrators when an attacker is detected while also slowing down key steps in the attacker’s workflow. In March, Galois and Formaltech engineers installed CyberChaff on a core Reed network during Reed’s Spring Break, and have been slowly expanding the CyberChaff presence since then. During this period, Reed has been able to use CyberChaff to detect and address anomalies on their network.

PERMALINK

Galois Launches Election Technology Spinoff: Free & Fair To Enable Verifiable, Transparent and Secure Elections

Portland, OR  – Galois today announced the launch of Free & Fair, a pioneering election technology company that offers high assurance, open source software and systems that enable truly verifiable, transparent and secure elections. Free & Fair intends to fundamentally change the way election technology is created and deployed, reducing costs for taxpayers while allowing […]

PERMALINK

DHS Award Funds Medical Device Cybersecurity

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. The Department of Homeland Security (DHS) is funding Adventium Labs to develop technology that can help defend medical devices from cyber-attacks.

PERMALINK