GALOIS, INC.

Address

421 SW 6TH AVE STE 300
PORTLAND, OR, 97204-1622

http://www.galois.com

Information

DUNS: 098009918
# of Employees: 61

Ownership Information

Hubzone Owned: N
Socially and Economically Disadvantaged: N
Woman Owned: N

Award Charts




Award Listing

  1. CAVES: Cryptographic Analysis, Verification, Exploration, and Synthesis

    Amount: $79,829.00

    Developing secure cryptography to meet the constraints of a given application is currently a difficult, time-consuming, and error-prone process. Recent research suggests, however, that the work of eva ...

    SBIRPhase I2016Department of Defense Navy
  2. Prattle: Deception and Anti-Reconnaissance via CyberChaff

    Amount: $149,985.00

    ABSTRACT:Computer network defense tools are plagued with an excessive amount of information, frequently in the form of false positives. Rather than attempt to train automated tools to detect attack ev ...

    SBIRPhase I2015Department of Defense
  3. Architecture Neutral Parallel Graph Algorithms with LPG

    Amount: $149,558.00

    We propose to build a high-level Domain Specific Language (DSL) for graph processing. This DSL, Language For Processing Graphs (LPG), will be embedded in Python and can be compiled to multiple parall ...

    SBIRPhase I2015Department of Defense
  4. Correct-by-Construction Synthesis for Multi-Vehicle Autonomy Missions

    Amount: $149,974.00

    ABSTRACT: The kinds of capability advancements we anticipate include scalable support for multi-vehicle scenarios with concurrent executions, co-existence of adversarial and cooperative assets, timin ...

    STTRPhase I2015Department of Defense
  5. Opportunistic Binary Software Fault Encouragement

    Amount: $149,817.00

    For many programs, it would be desirable to fail fast in the face of attack in order to preserve confidentiality and integrity. We propose a tool to statically rewrite binaries to increase their fragi ...

    SBIRPhase I2015Department of Defense Navy
  6. Practical Roots of Trust for Mobile Devices

    Amount: $749,857.10

    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 integra ...

    SBIRPhase II2014Department of Homeland Security
  7. Binary Static Previrtualization: Phase II

    Amount: $739,837.00

    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 partic ...

    SBIRPhase II2014Department of Defense Navy
  8. Binary Static Previrtualization

    Amount: $79,881.00

    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 partic ...

    SBIRPhase I2013Navy Department of Defense
  9. Practical Roots of Trust for Mobile Devices

    Amount: $99,963.20

    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 integra ...

    SBIRPhase I2013Department of Homeland Security
  10. PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

    Amount: $491,643.00

    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 long ...

    SBIRPhase II2013Department of Defense

Agency Micro-sites

US Flag An Official Website of the United States Government