CyManII: Partnership to create a formally verified reference architecture

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.