cryptosolvers.github.io

CryptoSolvers Lab

CryptoSolvers is a group of researchers across several univerisities that apply techniques within computational logic to cryptography.

We follow a three phased approach:

We’re the primary developers of CryptoSolve a library for verifying and synthesizing modes of operations as well as a general tool for working with unification and term rewriting.

Members

Current

Former

Papers:

Conference:

Workshop: