CyManII: Partnership to create a formally verified reference architecture

February 1, 2024
April 25, 2024

The U.S Department of Energy, in collaboration with the Cybersecurity Manufacturing Innovation Institute (CyManII), has selected 10 projects that align with the Biden-Harris Administration's vision for achieving net-zero-emissions economy by 2050. With a combined total of $4.8 million in research and development funding, these projects are primed to bolster cybersecurity in the U.S. manufacturing sector.

Kry10 Corporation is partnering with CyManII to create a formally verified reference architecture based on the Kry10 embedded microkernel platform (the near-minimum amount of software that can provide the mechanisms needed for ICS implementation).  This will provide manufacturers with an ICS foundation that is secure-by-design for multiple industries and uses.

The full article can be found here.

All selections link.