CryptoSolvers is a group of researchers across several univerisities that apply techniques within computational logic to cryptography.
We follow a three phased approach:
- Map a security property from a computational definition to a symbolic security equivalent
- Apply symbolic techniques such as term rewriting and unification to verify the symbolic security property
- Automatically synthesize cryptosystems that satisfy the security property
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.
- Hai Lin, Clarkshon University
- Wei Du, University at Albany
- Veena Ravishankar, University of Mary Washington
- Meghan Cooke, University of Mary Washington
- Mikayla Stitts, University of Mary Washington
- Luis Rovira, University of Mary Washington
- Raymond Kauffman, University of Mary Washington
- Dalton Chichester, University of Mary Washington