CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. - Dalton Chichester; Wei Du; Raymond Kauffman; Hai Lin 005; Christopher Lynch; Andrew M. Marshall; Catherine A. Meadows; Paliath Narendran; Veena Ravishankar; Luis Rovira; Brandon Rozek (GandALF, 2022)