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. 

Learn More >>

Featured Events

June 16-22, 2013

Joe Hendrix and Adam Foltzer are attending PLDI 2013 , the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation in Seattle, WA.

June 18-21, 2013

Rogan Creswick and Benjamin Jones are speaking at Open Source Bridge 2013 in Portland, OR. We hope to see you there!

July 22-26, 2013

Lee Pike is on the programming committee for ITP 2013, Fourth Conference on Interactive Theorem Proving in Rennes, France.

More Events >>