USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: Galois, Inc.
City: Portland
State: OR
Zip+4: 97204
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Website URL: http://www.galois.com
Phone: (503) 626-6616

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $1,712,432.20 18
SBIR Phase II $6,835,497.00 8
STTR Phase I $98,202.00 1
STTR Phase II $749,653.00 1

Award List:

Cross-Domain Document-Based Collaboration in a Multi-Level-Secure Environment

Award Year / Program / Phase: 2005 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: Laura McKinney, Program Manager
Award Amount: $62,132.00
Abstract:
Galois proposes to develop a trusted document server (DocServer) to mediate the connection between a user's workstation and files to which they have access. Users will connect to a single "virtual" combined file and web server from which they may browse, open, edit and save documents, using COTS… More

Cross-Domain Document-Based Collaboration in a Multi-Level-Secure Environment

Award Year / Program / Phase: 2006 / SBIR / Phase II
Agency / Branch: DOD / NAVY
Principal Investigator: John Launchbury, CEO and President
Award Amount: $793,071.00
Abstract:
Our method of enabling cross-domain collaboration allows documents whose contents have a mixture of sensitivity levels to be viewed and edited by users with differing clearance levels, while maintaining the requisite security constraints. In particular, we've identified the following key technical… More

Automated Wide-Area Network Configuration from High-Level Specifications

Award Year / Program / Phase: 2006 / STTR / Phase I
Agency / Branch: DOD / DARPA
Research Institution: YALE UNIV.
Principal Investigator: John Launchbury, CEO
Award Amount: $98,202.00
RI Contact: Paul Hudak
Abstract:
We propose to design and implement a domain-specific language (DSL) called Nettle that will eliminate a large class of network misconfiguration errors, together with a verification tool that will be used to establish the correctness of other network configuration specifications. Advantages of our… More

Cross-Domain RSS Processor and Router

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: Laura McKinney, VP-Engineering
Award Amount: $63,021.00
Abstract:
Galois proposes to develop a Cross-Domain RSS Processor and Router (CDRSS) that will serve as the junction between data sources and network clients at potentially different network sensitivity levels. RSS is one member of a growing family of standard protocols with a simple, fixed schema that… More

Reprogrammable High Assurance Internet Protocol Encryptor

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / USAF
Principal Investigator: John Launchbury, CEO
Award Amount: $99,842.00
Abstract:
Field Programmable Gate Arrays are widely recognized as an attractive technology for satisfying the needs of U.S. Government Crypto Modernization programs. However, FPGA technology creates some interesting challenges in terms of reliability and assurance of crypto implementations. In the late 1990s,… More

A Certifiable Federated Identity System for Cross-Agency Collaboration

Award Year / Program / Phase: 2009 / SBIR / Phase I
Agency: DHS
Principal Investigator: Isaac Potoczny-Jones
Award Amount: $99,750.00
Abstract:
The Department of Homeland Security's charter has a fundamental requirement to collaborate with other government agencies. Secure collaboration on this scale requires strong identity management which can "vouch for" DHS personnel working with other agencies, and makes it possible to provide DHS… More

Active Defense Against Code Injection Attacks

Award Year / Program / Phase: 2009 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Louis Testa, Project Lead
Award Amount: $99,620.00
Abstract:
The threat posed by remote cyber attacks has grown every year, with nation state attacks being the hardest to detect and blunt. A common cyber attack method against remote systems is the code injection attack, where the attacker finds flaws in a remote application then forces the application to… More

Automated Wide-Area Network Configuration from High-Level Specifications

Award Year / Program / Phase: 2009 / STTR / Phase II
Agency / Branch: DOD / DARPA
Research Institution: Yale University
Principal Investigator: Peter White, Project Manager
Award Amount: $749,653.00
RI Contact: Hudak
Abstract:
Wide-area networks are essential to productivity in commercial enterprises and military organizations. Reliability is difficult to achieve because wide-area networks, such as the Internet, are built from many autonomously configured component networks. Today there exists a large gap between the… More

Grid 2.0: Collaboration and Sharing on the Grid

Award Year / Program / Phase: 2009 / SBIR / Phase I
Agency: DOE
Principal Investigator: Donald Stewart, Dr.
Award Amount: $99,683.00
Abstract:
Grid computing makes significant computational and data resources accessible to distributed teams of scientific researchers. In doing so, it also poses a challenge: how best to apply social and collaboration software techniques to improve the efficiency of collaboration between distributed teams… More

Winning the 'Race to the Bottom' by Changing the Rules: Inhibiting Malicious Hardware Activation through Attack Incompatibility

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: David Burke, Principal Investigator
Award Amount: $99,593.00
Abstract:
Many hardware trojans depend on (a) the ability of an attacker to have an accurate model of the target system and of key software used on that system and (b) identification of one or more deterministic trigger conditions with low observability (i.e., conditions that evade detection by traditional… More

FUSE: Inter-Application Security for Android

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency / Branch: DOD / DARPA
Principal Investigator: Michael Potoczny-Jones, Principal Investigator
Award Amount: $98,954.00
Abstract:
Mobile applications are becoming ubiquitous, appearing in many new situations. Some of these areas have specific requirements pertaining to information flow and device functionality. However, software on these devices is currently unregulated, and there are mechanisms within the mobile operating… More

A Consistency Tool for User Interface Development

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency / Branch: DOD / ARMY
Principal Investigator: Eugene R. Creswick, Principal Investigator
Award Amount: $69,916.00
Abstract:
Ensuring User Interface consistency is extremely difficult---manual review and developer coordination is required to achieve uniform interaction metaphors across operating systems, web browsers, applications, and disparate devices. This is complicated by the capabilities of various UI toolkits and… More

Low-Cost, High Assurance Separation Kernel

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency / Branch: DOD / ARMY
Principal Investigator: Dylan McNamee, Principal Investigator
Award Amount: $61,244.00
Abstract:
Previous separation kernels have been based on safety-critical, real-time embedded operating systems meeting the FAA's DO-178B certification criteria. We believe that these systems' heritage emphasizes trustworthiness over cost, and results in a solution better suited for embedded environments. We… More

Grid 2.0: Collaboration and Sharing on the Grid

Award Year / Program / Phase: 2010 / SBIR / Phase II
Agency: DOE
Principal Investigator: Donald Stewart, Dr.
Award Amount: $999,888.00
Abstract:
Grid computing, the application of many loosely-coupled computers in federation to provide shared resources makes significant compute or storage capabilities accessible to distributed teams of researchers. In doing so, it also poses a challenge: How do distributed teams collaborate effectively… More

Improved Symbol Resolution for Portable Build Systems

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency: DOE
Principal Investigator: Iavor Diatchki, Dr.
Award Amount: $99,971.00
Abstract:
Modern High Performance Computing utilizes a variety of different hardware and software platforms. These differences make it difficult to develop reusable components, which lead to a significant decrease of productivity. Our goal is to investigate the design of portable build systems that are… More

A Deployable, Robust File System for Parallel I/O

Award Year / Program / Phase: 2010 / SBIR / Phase I
Agency: DOE
Principal Investigator: Adam Wick, Dr.
Award Amount: $99,860.00
Abstract:
When considering high-performance parallel computers, it is easy to overlook the importance of disk storage. In this proposal, we seek to address the topic of disk storage for parallel computers, and create a deployable, robust file system that will reduce downtime due to faults and increase… More

Formal Verification of Programming by Demonstration Systems

Award Year / Program / Phase: 2011 / SBIR / Phase I
Agency: NASA
Principal Investigator: E. Rogan Creswick, Principal Investigator
Award Amount: $99,942.00
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 acceptable in casual environments, but critical systems cannot make… More

DACET: Data Acquisition through Compositional Executable Transformations

Award Year / Program / Phase: 2011 / SBIR / Phase I
Agency: DOD
Principal Investigator: Mark Tullsen, Principle Investigator – (503) 626-6616
Award Amount: $79,770.00
Abstract:
Low-overhead, real-time data acquisition of executing software is the last line of defense against malicious cyber attacks. A monitoring approach cannot depend on access to source code, as the code may be proprietary and recompilation is too time-intensive. Rather, we propose to monitor the binary… More

FUSE: Inter-Application Security for Android

Award Year / Program / Phase: 2011 / SBIR / Phase II
Agency / Branch: DOD / DARPA
Principal Investigator: Joe Hurd, Principal Investigator – (503) 808-7202
Award Amount: $1,120,974.00
Abstract:
The increasingly common use of mobile software platforms such as Android provides convenience and cost savings by consolidating multiple functions within one device. This consolidation comes at a price, however: the interactions between the various software applications (apps) is hard to predict.… More

SUIM: The Semantic User Interface Markup

Award Year / Program / Phase: 2011 / SBIR / Phase II
Agency / Branch: DOD / ARMY
Principal Investigator: Rogan Creswick, Principal Investigator – (503) 808-7195
Award Amount: $723,621.00
Abstract:
Ensuring User Interface consistency is extremely difficult - manual review and developer coordination is required to achieve uniform interaction metaphors across operating systems, web browsers, applications, and disparate devices. This is complicated by the capabilities of various UI toolkits and… More

PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

Award Year / Program / Phase: 2012 / SBIR / Phase I
Agency: DOD
Principal Investigator: Mark Tullsen, Principal Investigator – (503) 808-7159
Award Amount: $149,427.00
Abstract:
The so-called"software crisis"is continuing unabated. It is all too common for a software project to create software that is hard to maintain, inefficient, bug-ridden, late, and over-budget. Software flaws resulting from this current state of affairs are no longer an inconvenience but… More

Deceiving the Deceivers: Active Counterdeception for Software Protection

Award Year / Program / Phase: 2012 / SBIR / Phase I
Agency: DOD
Principal Investigator: Adam Wick, Principal Investigator – (503) 808-7216
Award Amount: $149,863.00
Abstract:
DoD operations and infrastructure increasingly depends on software, which makes it an attractive target for our adversaries. Not surprisingly, deception plays a central role in most cyberattacks. To better protect these critical systems, we propose to design and build an"active… More

Higher Assurance and Lower Cost Separation Kernels

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency / Branch: DOD / ARMY
Principal Investigator: Dylan McNamee, Principal Investigator – (503) 808-7187
Award Amount: $719,945.00
Abstract:
We propose to build a separation kernel with stronger evidence of correctness than any current product on the market. We will do this by building on work done by Australia's National Information Communications Technology Research Center (NICTA), which includes a complete code-level formal proof… More

Winning the 'Race to the Bottom' by Changing the Rules: Inhibiting Malicious Hardware Activation through Attack Incompatibility

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency: DOD
Principal Investigator: Mark Tullsen, Principal Investigator – (503) 808-7159
Award Amount: $993,950.00
Abstract:
Many hardware trojans depend on (a) the ability of an attacker to have an accurate model of the target system and of key software used on that system and (b) identification of one or more deterministic trigger conditions with low observability (i.e., conditions that evade detection by traditional… More

Binary Static Previrtualization

Award Year / Program / Phase: 2013 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: Joe Hendrix, Principal Investigator – (503) 808-7213
Award Amount: $79,881.00
Abstract:
Modular software development helps enable application developers to quickly write sophisticated applications. However, in most instances only a small fraction of the functionality included in a particular software components is needed. Not only is there a performance cost, but the prevalence of… More

Practical Roots of Trust for Mobile Devices

Award Year / Program / Phase: 2013 / SBIR / Phase I
Agency: DHS
Principal Investigator: Adam C. Wick – (503) 626-6616
Award Amount: $99,963.20
Abstract:
To meet the critical security needs of the Department of Homeland Security and others, we propose two methods for providing a secure root of trust for mobile devices. One method is designed to integrate as easily into existing systems, while the other requires deeper integration but… More

PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

Award Year / Program / Phase: 2013 / SBIR / Phase II
Agency: DOD
Principal Investigator: Mark Tullsen, Principal Investigator – (503) 626-6616
Award Amount: $491,643.00
Abstract:
It is all too common for a project to create software that is hard to maintain, inefficient, bug-ridden, late, and over-budget. Software flaws resulting from this current state of affairs are no longer an inconvenience but are the primary source of software security vulnerabilities. Motivated by… More

ADIDRUS: Using Deception to Protect and Defend UAVs

Award Year / Program / Phase: 2013 / SBIR / Phase II
Agency / Branch: DOD / OSD
Principal Investigator: Adam Wick, Principal Investigator – (503) 808-7216
Award Amount: $992,405.00
Abstract:
Unmanned vehicles are becoming an increasingly valuable tool within the Department of Defense, and related technologies are beginning to appear in commercial systems. As their utilization grows, these unmanned systems will become a significant target for cyber attack. Indeed, existing Defense… More