CryptoSolvers is a group of researchers across several universities that apply techniques within computational logic to cryptography.
- Catherine Meadows, Naval Research Laboratory
- Paliath Narendran, University at Albany - SUNY
- Chris Lynch, Clarkson University
- Andrew M. 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, Clarkson 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
