Galois has specific expertise and intellectual property in the area of high-assurance computing. We are developing reusable methods, tools and platforms that comprise our high-confidence software offerings.

The core is an assured platform consisting of the Haskell environment running on a real-time separation kernel. The platform provides a rapid development environment, where models expressed in Haskell can be directly deployed.

Application support is enhanced with secure middleware that bootstraps trusted communications between cryptographic service providers and clients.

Application development tools are provided for secure code generation for critical application areas such as platform-independent data interchange protocols or cryptographic algorithms. Galois' technical approach assures that the code produced will be correct and robust to misuse.