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.
- Catherine Meadows, Naval Research Laboratory
- Paliath Narendran, University at Albany - SUNY
- Chris Lynch, Clarkson University
- Andrew Marshall, University of Mary Washington
- Brandon Rozek, Rensselaer Polytechnic Institute
- Kimberly A. Cornell, University at Albany - SUNY
- Serdar Erbatur, University of Texas at Dallas
- 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
- Formal Analysis of Symbolic Authenticity
- Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems
- Moving the Bar on Computationally Sound Exclusive-Or