Galois researches, designs and develops high assurance technologies for security-critical systems, networks and applications. We have an engineering staff that includes many of the top language and semantics researchers in the world, we use cutting-edge mathematically-based programming techniques to address our clients' toughest information sharing challenges.

Galois offers technical expertise in the following domain areas:

• Cross-domain security
• Reconfigurable cryptography
• Assured tools
• Domain-specific languages