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