<p>This is a Definitive Contract awarded by the Defense Advanced Research Projects Agency (DARPA), a defense agency, to True Secure Scada L.L.C., a small business, for the SECURE SOFTWARE COMPONENTS LEVERAGING THE SEL4 MICROKERNEL research project under the SBIR Program Phase I. The contract is a Firm Fixed Price award with a ceiling value of $148,722.00 and an ultimate completion date of August 3, 2016. The contract is set aside for total small business participation.</p>
This is a definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to American Software Safety Reliability Ltd.co, a small business, under the Small Business Innovation Research (SBIR) Program Phase I. The contract is for the research and development of "Building Trustworthy Software Systems Using Big Code" with a ceiling value of $150,000. The contract has a firm fixed price pricing type and a completion date of July 19, 2017. This SBIR Phase I contract...
This SBIR Phase I contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Dornerworks, LTD, a technology engineering company, to conduct research on the seL4 microkernel on a secure RISC-V processor. The firm fixed price contract, valued at $224,393.82, was set aside for small businesses. Dornerworks has experience supporting federal projects through prime and subcontractor roles, providing engineering services and hardware/software solutions related to high assurance...
This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Dornerworks, LLC, a technology engineering company specializing in advanced electronics and secure embedded systems. The $1,486,142.23 contract supports the LEVERAGING ASSURANCE ON AN SEL4-ENABLED SAFE & SECURE SOLDIER HELMET DISPLAY project, which is a Small Business Innovation Research (SBIR) Phase II action. The contract aims to develop secure, high-performance computing solutions...
This is a $1,499,844.00 Definitive Contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Tidelift, Inc., a small business based in Boston, MA. The contract is for a Firm Fixed Price managed open-source software solution to secure the digital supply chain, under DARPA's Small Business Innovation Research (SBIR) Program Phase II. The contract has a completion date of January 31, 2025 and is set aside for total small business participation. Tidelift, Inc. is a for-profit...
This contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, to conduct research and development on verified network stack synthesis for the seL4 microkernel. The $229,812.80 firm fixed-price contract was awarded under DARPA's Small Business Innovation Research (SBIR) program and is focused on developing technologies to make software safer through static analysis, binary assurance proofs, and test generation. Kestrel Technology...
This is a $1,456,219.00 U.S. Department of Defense (DOD) Small Business Innovation Research (SBIR) Phase II contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Aarno Labs LLC, a limited liability company. The contract is for the development of a "Code Interposition Framework for Mobile Cyber Applications" and is designated as a total small business set-aside. The contract is a Definitive Contract with a Cost Plus Fixed Fee pricing type and has an ultimate...
This federal contract award, valued at $1,499,893.00, was made by the Defense Advanced Research Projects Agency (DARPA) to Software Defined Technologies Inc., a self-certified small disadvantaged business. The contract is for a Small Business Innovation Research (SBIR) Phase II research effort, with a period of performance ending on January 31, 2022. The contract is a definitive contract with a firm fixed price pricing type. This SBIR Phase II award follows a previous Phase I effort, and the...
This is a firm fixed price purchase order for $150,000.00 awarded by the Defense Advanced Research Projects Agency (DARPA) to Stealth Software Technologies, Inc., a small business contractor, under the SBIR (Small Business Innovation Research) Phase I program. The contract is for base period research and development work related to applied cryptography and cybersecurity solutions, including privacy-enhancing technologies, secure communications, and resilient supply chain capabilities. This...
This federal contract award, valued at $149,948.14, was issued by the Defense Advanced Research Projects Agency (DARPA) to Redwire Space Technologies, Inc., a small business contractor. The contract is for Phase I of the SBIR (Small Business Innovation Research) program and focuses on "Secure Software Components Leveraging the SeL4 Microkernel." Redwire, a for-profit corporation specializing in space-related research and engineering, will be responsible for delivering the products...