Galois to Help DARPA PROCEED to Change the Game

Portland, OR (April 11, 2011) – The Defense Advanced Research Projects Agency (DARPA) has awarded up to $4.7M to Galois, Inc., as research integrator for the PROCEED program (Programming Computation on Encrypted Data) whose goal is to make it feasible to execute programs on encrypted data without having to decrypt the data first.  DARPA Program […]

Read More

Galois awarded Navy/ONR project in binary instrumentation and monitoring

Galois has been selected by the Office of Naval Research for a Phase 1 Small Business Innovative Research (SBIR) award, to develop a viable real-time software execution monitoring system to protect programs against errors, regardless of the programming language the software is written in.   The approach will be based on instrumentation of binaries via […]

Read More

Galois CEO Testifies Before U.S. Congress

Galois’ CEO, Laura McKinney, was asked to testify before the U.S. Congress Subcommittee on Technology and Innovation on the role of small business in innovation and job creation. The hearing was specifically assessing the Small Business Innovation Research (SBIR) and Small Technology Transfer Research (STTR) programs. Laura provided background on Galois as a small business […]

Read More

Instilling Morality in Machines

Our own David Burke gave a talk on Wednesday at Portland State University as a speaker in the ‘Nuts and Bold Ideas‘ seminar series.  David described work done on multiagent simulations of morality during strategic interactions.  He explained how various agents in the simulations make choices about whether to cooperate based on each agent’s weighting […]

Read More

Quick authentication using mobile devices and QR Codes

Isaac Potoczny-Jones February 18, 2014: This project has recently been spun-out into a new startup company, Tozny – read more about this world-class, secure login technology at www.tozny.com. Introduction In this blog post, we propose an authentication scheme using QR codes and Internet-connected smart phones to allow a user to quickly sign into a web site without having […]

Read More

Galois awarded AFRL/OSD project in hardware security

Galois has been selected by AFRL/OSD for a Phase I Small Business Innovative Research (SBIR) award to develop countermeasures against malicious hardware. In this project, Galois will address the class of hardware threats known as “deterministically triggered trojans”, and develop tools that inhibit malicious hardware activation by applying attack incompatibility techniques.   This effort builds […]

Read More

Galois chosen for DARPA project in Android security

DARPA has selected Galois, Inc for a Phase 1 project to develop software tools to enforce inter-application security on the Android operating system. The goal of the project is to prevent untrusted applications from accessing sensitive data or capabilities (such as GPS), whether directly, or through intermediary applications on a device. The proposed tools will address […]

Read More

Galois, Inc. Wins Two United States Army Research Awards

Galois, Inc. has been awarded two 2010 Small Business Innovation Research Awards by the United States Army Research, Development and Engineering Command, to investigate new approaches in the construction of high assurance microkernels, and, separately, tools for portable, consistent user interfaces based on domain specific languages. This work will be conducted under Galois’ Systems Software and […]

Read More

Galois wins NASA award for formal methods in machine learning

NASA has awarded Galois, Inc. a Small Business Innovation Research award to conduct research into the application of formal verification to machine learning systems. From the abstract: Automated tools are quickly making inroads into casual computing environments, solving progressively more complex tasks. However, these advancements still require trading reliability for convenience. Frequent minor failures are […]

Read More

John Launchbury named ACM Fellow

Chief Scientist and founder of Galois, Inc, John Launchbury, has been named a 2010 ACM Fellow by the Association for Computing Machinery (ACM). The awardees,   … ACM Fellows, from the world’s leading universities, corporations, and research labs, achieved accomplishments that are driving the innovations necessary to sustain competitiveness in the digital age … [and] celebrates […]

Read More