@Inproceedings{EPTCS370.10,
  author    = {Chichester, Dalton and Du, Wei and Kauffman, Raymond and Lin, Hai and Lynch, Christopher and M. Marshall, Andrew  and A. Meadows, Catherine  and Narendran, Paliath and Ravishankar, Veena and Rovira, Luis and Rozek, Brandon},
  year      = {2022},
  title     = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms},
  editor    = {Ganty, Pierre and Della Monica, Dario},
  booktitle = {{\rm Proceedings of the 13th International Symposium on}
               Games, Automata, Logics and Formal Verification,
               {\rm Madrid, Spain, September 21-23, 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {370},
  publisher = {Open Publishing Association},
  pages     = {147-161},
  doi       = {10.4204/EPTCS.370.10},
}