Hardened Industrial Control System (ICS) Platform Implementation
DOE/CyManII award to Kry10 to build a formally verified reference architecture for secure-by-design industrial control systems.
A US Department of Energy Cybersecurity Manufacturing Innovation Institute (CyManII) award to Kry10, one of 10 projects sharing a combined $4.8M pool, funding a formally verified reference architecture built on Kry10's microkernel for secure-by-design industrial control systems.
Award detail
- Agency
- US Department of Energy (CyManII)
- Award ID
- Ceiling value
- $100,963
- Vehicle
- Awarded
- 2024-02-01
- Period of performance ends
Programs0
No linked records yet.
Frequently asked
- What is the Hardened Industrial Control System (ICS) Platform Implementation contract?
- A US Department of Energy Cybersecurity Manufacturing Innovation Institute (CyManII) award to Kry10, one of 10 projects sharing a combined $4.8M pool, funding a formally verified reference architecture built on Kry10's microkernel for secure-by-design industrial control systems.
- Which agency awarded the Hardened Industrial Control System (ICS) Platform Implementation contract?
- The Hardened Industrial Control System (ICS) Platform Implementation contract was awarded by US Department of Energy (CyManII).
- How much is the Hardened Industrial Control System (ICS) Platform Implementation contract worth?
- The Hardened Industrial Control System (ICS) Platform Implementation contract has a value of $100,963, awarded on 2024-02-01.
Sources & citations1
Each claim links to its underlying source. Confidence reflects how directly the source supports the claim.
- 1
DOE selects Kry10 among 10 projects sharing nearly $5M for a Hardened ICS Platform Implementation using Kry10's formally verified microkernel
US Department of Energy: Department of Energy Selects 10 Projects to Receive Nearly $5 Million for ManufacturingVerified2024-02-01