Trusted Software

Deploying mission-critical software means satisfying stringent certification/evaluation requirements and often includes mathematical evidence for the trustworthiness of the code.

We have acquired extensive experience in the architecture design of trusted architectures and components, including the implementation and testing needed for the creation of truly robust and dependable applications.

In addition, Galois has a staff of formal methods experts able to use theorem provers and model checkers to generate correctness proofs for software. Our tools and techniques allow us to bring rigor to high assurance claims - all the way up to the Common Criteria’s EAL7, the gold standard for assurance evidence.