Innovation with Integrity
We solve your toughest security, reliability & privacy problems.
Let's Work TogetherHome Section 1
Spotlight
Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol.
Use Cryptol to quickly explore different time/space tradeoffs for cryptographic implementations. Prove correctness of software or hardware implementations from a single specification. Learn more by reading a recent article published in a government magazine sent to all DoD contractors.
Featured Events
Jan 30, 2012
Dylan McNamee is speaking at The Open Group Conference at the Real Time and Embedded Systems Forum in San Francisco. The title of his talk is "Enforcing Security Policies with a MILS Architecture." We hope to see you there!
Learn the Fundamentals of the Functional Programming and Design Discipline
Haskell CourseRegister Today
Copyright © 2011 Galois, Inc. All rights reserved.