This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Congratulations to Todd Carpenter for receiving the 2018 Cyber Security Emerging Technology Leadership Award on 23 October 2018. The award recognized his leadership in addressing safe and secure system design and implementation of cyber physical systems. His work on the DHS Science and Technology Directorate ISOSCELES project was highlighted.
Read More
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
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
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
This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. The Navy has awarded Adventium Labs a contract worth up to $1 million to develop the State Linked Interface Compliance Engine for Data (SLICED).
Read More
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
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
Government Computer News
Kiniry is leading a team that has just been awarded a $4.5 million contract from the Defense Advanced Research Projects Agency to develop tools and methodologies for designing secure CPUs. The project — Balancing Evaluation of System Security Properties with Industrial Needs (BESSPIN) — will develop security metrics and a framework for making decisions about […]
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 […]
Read More
Government Computer News
Once the suite of tools has been developed and tested, Galois aims to help integrate the workbench into government security frameworks. The company also plans to provide the workbench to industry partners that develop their own encryption software.
Permalink