Search Results for: Galois

Galois’ Software Engineering Spinoff to Target DoD Market; John Launchbury Comments

Galois has formed a new software re-engineering company in a push to help Defense Department customers reconfigure complex and large embedded systems. The Tangram Flex spinoff aims to use “smart” tools in efforts to update cyber-physical platforms and other subsystems that support DoD missions. Galois said Thursday. “Despite all the advancements in technology to …

Read More »

Air Force Research Lab Vet Matthew Clark Joins Galois as Principal Scientist

Matthew Clark, former lead of autonomous manned-unmanned teaming at the Air Force Research Laboratory’s aerospace systems directorate, has been named as a principal scientist at technology company Galois. Galois said Wednesday Clark plans to focus on cyber-physical system design and assurance efforts in his new position. He previously supervised autonomous controls branch within …

Read More »

Galois Lands DHS Contract for Data Sharing Toolkit Development

The Department of Homeland Security has awarded Galois a two-year, $800,000 contract to  produce a suite of tools for organizations to exchange information that can aid cybersecurity technology development, test and evaluation efforts. Galois said Monday it aims to help DHS address privacy and confidentiality concerns from cyber data sources through the Framework for Information Disclosure …

Read More »

Galois to Develop Hardware Security Tools, Methods Under DARPA Program

Galois has received a multiyear, $4.5 million contract from the Defense Advanced Research Projects Agency to develop methods and tools to secure hardware for consumer, government and commercial use. The company said Wednesday it will lead a team project under the first phase of DARPA’s System Security Integrated through Hardware and Firmware program that …

Read More »

Office of Naval Research Taps Galois to Develop Cryptographic Analysis Tools Suite

Galois has received a $2 million contract from the Office of Naval Research to build an integrated suite of tools that will work to analyze cryptographic algorithms. The company said Wednesday it will develop the Cryptographic Analysis, Verification, Exploration, and Synthesis workbench in an effort to help cryptographers address performance requirements for encryption …

Read More »

John Launchbury Returns to Galois as Chief Scientist

John Launchbury, formerly director of the Defense Advanced Research Projects Agency‘s information innovation office, has rejoined technology research and development company Galois as chief scientist. Galois said Thursday Launchbury will work with government and industry stakeholders in efforts to craft a road map to address security challenges related to cyber-physical systems. He will …

Read More »

Galois to Help Navy Develop Software Defense Methods

Galois has received a $2.7 million contract to help the Office of Naval Research develop methods for the U.S. Navy to increase the resiliency of the service branch’s real-time and embedded military software systems. The company said Monday it seeks to utilize binary rewriting and software brittleness techniques to help the Navy …

Read More »

Galois Seeks to Drive Innovation, Expand Customer Support With New Ohio-Based Office

Galois has established a new office in Dayton, Ohio, as part of the company’s commitment to help drive technology innovation in the state and expand support offerings to  commercial and defense clients. The company said Friday it aims to begin operations at the 3,000-square-foot facility in early summer as well as expand relationships with research …

Read More »

Galois Seeks Submissions to DARPA-Sponsored Software Reverse Engineering Prevention Challenges

Galois seeks submissions to two benchmark challenges that work to support the Defense Advanced Research Projects Agency‘s efforts to prevent software reverse engineering. Submissions should describe existing theories or new approaches to identify security vulnerabilities in program obfuscation technology, Galois said Monday. One challenge focuses on order-revealing encryption while the other …

Read More »