Innovation with Integrity
We solve your toughest security, reliability & privacy problems.Let's Work Together
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.
June 16-22, 2013
June 18-21, 2013
July 22-26, 2013
Lee Pike is on the programming committee for ITP 2013, Fourth Conference on Interactive Theorem Proving in Rennes, France.
Copyright © 2013 Galois, Inc. All rights reserved.