You are here
GALOIS, INC.
UEI: MKT6C6U2BRM4
# of Employees: 124
HUBZone Owned: No
Socially and Economically Disadvantaged: No
Woman Owned: No
Award Charts
Award Listing
-
User-directed analysis and verification of modified binaries
Amount: $1,799,837.00In the Phase I and II efforts on Galois' Attack Sensitive Brittle Software (Brittle) SBIR project, we implemented Software Fault Enhancement (SFE), a binary modification technique for improving the ro ...
STTRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
Privacy Assured Linkage and Analytics over Datasets from Isolated Neighborhoods (PALADIN)
Amount: $1,249,778.00The US Air Force has the need to predict proficiency, outcomes, and study potential optimizations of the impact of proposed training for USAF personnel, teams, and individual pilots. Such assessment ...
SBIRPhase II2023Department of Defense Air Force -
BARC: Binary Analysis and Recompilation for CHERI
Amount: $1,799,831.00The objective of this study will be to develop technologies for recompiling legacy binaries to the secure CHERI ISA in support of DoD modernization priorities. Doing this would enable upgrading DoD sy ...
SBIRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
CAMDEN Phase II
Amount: $1,799,896.00The vision of the CAMDEN project has been to explore the use of mechanism design as a solution to effectively incentivize and accelerate collaboration in critical DoD domains. Our Phase II goal is to ...
SBIRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
QUantified Information flow for Intelligent Partitioning (QUIIP)
Amount: $1,799,827.90Due to exponential growth in complexity, current hardware designs cannot be thoroughly tested, which leads to significant hardware vulnerabilities reaching the field. Recent innovations in Model-Based ...
SBIRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE)
Amount: $1,497,445.00The Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE) project will develop a static binary verifier that generates evidence that COTS software components satisfy the ...
SBIRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
04a. TRIFECTA: A utility-and-privacy-preserving platform for secure public data release
Amount: $249,945.00Collection and storage of massive datasets is normal practice for many organizations. This trend is driven by inexpensive data storage costs and the increasing benefits of data-driven insights and dec ...
SBIRPhase I2022Department of Energy -
Collaborative APIs through Mechanism Design and Engineering (CAMDEN)
Amount: $224,997.00The overall vision of the CAMDEN project is to explore the use of mechanism design as a solution to incentivize the creation of collaborative API designs for the DoD. APIs are not merely software in ...
SBIRPhase I2022Department of Defense Defense Advanced Research Projects Agency -
ALLSTAR: Analyzing and Lifting Legacy Software To Aid Rewriting
Amount: $1,486,577.00The goal of the ALLSTAR project is to reduce vulnerabilities related to memory safety by migrating legacy C code to Rust. Memory safety bugs cause the majority of the vulnerabilities found in systems ...
SBIRPhase II2022Department of Defense Defense Advanced Research Projects Agency -
COEUS: A Co-Training Methodology for Improved Performance in Human-Machine Teams
Amount: $999,982.00In this proposal we detail the COEUS framework, a novel software system, which advances the state of the art in human-machine teaming by enabling these teams to co-train on tasks before performance in ...
SBIRPhase II2022Department of Defense Air Force