IDAHO SCIENTIFIC LLC — Department of Defense SBIR Phase I: A18-133
IDAHO SCIENTIFIC LLC — SBIR Phase I award from Department of Defense.
- Amount
- $99,985
- Agency
- Department of Defense · Army
- Program / Phase
- SBIR · Phase I
- Topic
- A18-133
- Solicitation
- 18.3
- NAICS
- —
- Place of performance
- ID
- Period
- 2019-02-06 → 2020-03-15
Description
Idaho Scientific presents a Risc-V based secure processor architecture that provides unique security properties complimentary to the seL4 microkernel. The work conducted under this Phase I SBIR effort will further the discipline of computer security by mitigating memory corruption vulnerabilities, enforcing strong processes separation, covering seL4's formal verification assumptions, and provide a path to close physical anti-tamper vulnerabilities.