Kry10 awarded grant to deliver CNI infrastructure protections

Kry10 is pleased to announce that they have been funded by the UK's Advanced Research and Invention Agency (ARIA), through their Trust Everything, Everywhere opportunity space, to deliver CNI Guardian.

This project will develop and validate a formally verified network guard designed to protect critical national infrastructure, such as power grids, from cyberattack. Formal verification means the network guard’s safety and correctness have been mathematically proven, offering a mathematically guaranteed alternative to today’s commodity firewalls, which have no such guarantees.

Building on Kry10's existing verified network guard technology, CNI Guardian will extend formal verification up through the network protocol layer, generating provably correct parsers and filters for industrial control system protocols such as Modbus and DNP3. This supports the aim of ARIA’s Trust Everything, Everywhere opportunity space to engineer the scientific, technological, and institutional trust building blocks that let humans and machines thrive together.