@misc{indiciaeb038207d784a,
  title = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms},
  author = {Dalton Chichester and Wei Du and Raymond Kauffman and Hai Lin and Christopher Lynch and Andrew M. Marshall and Catherine A. Meadows and Paliath Narendran and Veena Ravishankar and Luis Rovira and Brandon Rozek},
  year = {2022},
  doi = {10.4204/eptcs.370.10},
  url = {https://arxiv.org/abs/2209.10321},
  note = {Source identifier: 2209.10321}
}