Services

Galois' expertise is in research and application of cutting-edge high assurance software development methods in critical applications.

Galois capabilities:

• Research and evaluation
• Software engineering
• Formal methods and modeling
• Haskell language core
• High assurance methodology
• Verification and validation

Galois has expertise in the following information assurance domains:

• Cryptography and cryptographic specification languages
• Cross-domain security
• Secure middleware
• Assured tools
• Domain-specific languages

if you are interested in learning how Galois might help solve your information-assurance challenge, please contact us.