Kry10 CEO Boyd Multerer is an advocate of a maths-based cybersecurity approach called 'formal methods', which is now being tested by the US Air Force.
This is an ingested summary. Full reporting is available at the primary source below.