Trust in your most critical systems.

Galois develops software to solve your hardest problems.

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

We apply cutting edge computer science and mathematics to advance the state of the art in software trustworthiness.

Cryptography

We are a leader in the ground-breaking process of computing on data while it remains encrypted, and in the automated generation, validation and synthesis of high assurance cryptographic solutions.

Explore

Core Principles

  • Hold to authenticity.
  • Pursue deep trust.
  • Seek joy at work.
  • Cherish learning and innovation.
  • Serve as stewards.

We combine proven scientific methods with the latest technological innovations to solve our clients’ hardest problems. Want to know more? Contact us to discuss how we can work together on your most difficult challenges.

Connect With Us
×

Partnerships and Collaborations

Connect directly with Leah Daniels to discuss your idea or project, or send us a general inquiry to learn more about our work and process. We will do our best to respond within one business day.