You are here
DORNERWORKS, LTD.
https://dornerworks.com
UEI: WB5DBBC8RES7
# of Employees: 96
HUBZone Owned: No
Socially and Economically Disadvantaged: No
Woman Owned: No
Award Charts
Award Listing
-
DevSecOps Enablement via High Assurance seL4 Microkernel
Amount: $74,938.00Containers have exploded in popularity due to their portability, modularity, and small overhead compared to virtual machines (VMs). This adoption has fueled design of DevSecOps pipelines in industry t ...
SBIRPhase I2023Department of Defense Air Force -
seL4 on RISC-V for Secure U.S. Army Applications
Amount: $528,993.44With recent large-scale cyberattacks, it is clear that current cybersecurity methods are too vulnerable, requiring constant attention to bolster the weakest link in the system. A novel approach is nee ...
SBIRPhase II2021Department of Defense Army -
High Assurance Virtualization forthe HPSC
Amount: $747,579.00In this proposed effort, DornerWorks will develop anbsp;software development kit (SDK) to help developers defeat the steep learning curve of using the formally proved seL4 microkernel as a high assura ...
SBIRPhase II2020National Aeronautics and Space Administration -
Xen Project Hypervisor for the High Performance Space Computing Platform
Amount: $124,846.00DornerWorks is seeking to enhance the capabilities and ecosystem of the open source Xen Project hypervisor, targeting full integration with the High Performance Space Computing (HPSC) platformrsquo;s ...
SBIRPhase I2019National Aeronautics and Space Administration -
High Assurance Systems via the Open Source seL4 Microkernel and Open RISC-V Processor
Amount: $149,877.98The seL4 microkernel provides significant cybersecurity benefits, mainly due to its formal proof and the fact that it is open source software. The formal proof ensures that the microkernel behaves exa ...
SBIRPhase I2019Department of Defense Army -
Protocol for Cross Domain Data Flow
Amount: $124,986.00CDS guards provide the means to enable cross-domain applications without the risk of accidental cross contamination, but support only a limited number of communication protocols, degrade communication ...
SBIRPhase I2018Department of Defense Navy -
Virtual Model-Based Systems Engineering Platform to Enable Agile Development of Secure FACE Software
Amount: $99,710.00Rapid deployment and agile development are very difficult to achieve on large, complex software projects that require security and safety design assurance. We tackle this challenge by mapping an Agile ...
SBIRPhase I2017Department of Defense Army -
Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display
Amount: $1,499,845.00We are leveraging theassurance of the seL4microkernel, enabling mixed levels of safety-criticality and security via a methodology, design process, ecosystem components, and tools. Our target market in ...
SBIRPhase II2016Department of Defense Defense Advanced Research Projects Agency -
An seL4-Enabled Safe & Secure Soldier Helmet Display
Amount: $147,788.06We will develop software components layered on the seL4 microkernel, enabling mixed levels of safety-criticality and security.Our target market includes commercial and military aerospace, defense, and ...
SBIRPhase I2015Department of Defense Defense Advanced Research Projects Agency -
QuickSAT-Xen, A Satellite Hypervisor Environment
Amount: $1,480,762.00DornerWorks is seeking to develop the QuickSAT based Xen Space Hypervisor, a space qualified hypervisor that will support the virtualization of satellite payloads, systems and software modules on a fu ...
SBIRPhase II2014Department of Defense Defense Advanced Research Projects Agency