Cyber-harden

A proven gatekeeper in front of the protocols your plant already runs.

Most of the protocols that run water, energy and transport were designed before anyone was attacking them. A controller will often do what any machine on the network tells it to. You can't rewrite the plant. You can put something in front of it that only lets through what you've said is allowed.

What it is

A gateway that sits between the network and the controller. The rules that decide what gets through are written in SPARK Ada and proved. A machine has checked them for every possible message, not just the ones we thought to test.

to be exact — the proof covers the decisions: which requests are let through and which are refused, and why. Timing behaviour, such as a sender that trickles bytes in slowly, is tested, not proved.

We do a migration, then we cyber-harden it. One supplier, one trail of evidence.

Where we are today

Proven means a machine-checked proof that has passed our independent admission. Demonstrated means we ran it and you can watch it run.

Protocol software
Proven: protocol software for the systems that run water, energy and transport.
The gateway
Demonstrated: a proven command gateway for industrial controllers, run end to end against a simulated controller. The parts that move bytes on and off the network are tested, not proved.
Others
If there's a protocol you need, ask.

None of this is certified. We hold no certification for it and don't want to suggest otherwise.

Open source

We mean to release the proven protocol libraries as open source under the MIT licence, and to adapt them to your plant at speed. Keeping proven code proven when you change it takes people who are hard to find. That's the bit we'd do.

And if it's useful, the rest of your software is what we'd like to talk about. Migrate.

Who it's for

Anyone running a plant on protocols that were never built to be attacked.

Talk to us about a pilot on one protocol.

Talk to us

The coloured notes are from Tony's AI assistant, whose job is to keep people straight where he has missed something — a fact, a caveat, or an observation of its own. We have left them a different colour rather than blending them in.