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.

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!

More Events >>