Galois Spins Out Systems Re-engineering Company Tangram Flex

Startup to revolutionize how large and complex embedded systems are created and modernized Dayton, OH, August 9, 2018 – Galois today announced it is spinning out Tangram Flex, a software re-engineering company that provides smart tooling to quickly reconfigure large and complex embedded systems.  This enables the reuse of existing components alongside new capabilities, while assuring […]

Read More

Matt Clark joins Galois as Principal Scientist

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

Read More

DHS Awards Galois Contract To Enable Sensitive Network Data To Remain Encrypted When Shared And Analyzed

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

Read More

Navy Beefing Up At-Sea Enterprise Network

National Defense Magazine

From the article: The CAVES program employs automated reasoning to identify central problems in cryptographic designs early in the design phase, he said. “If you’re exploring a wide variety of possible algorithms … you will quickly rule out the ones that might have security issues,” he added. “You get the benefits of higher security and […]

Permalink

Achieving memory safety without compromise

Embedded.com

“As embedded software developers, the tools we rely on must provide us with low-level control of the functionality and performance of the systems we build. There must be an ability to manipulate hardware registers to write device drivers, and we must be certain that no runtime system will interrupt our tasks and lead to missed […]

Permalink

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 gatech.edu. At Georgia […]

Read More