@misc{indiciae7001c44f28ff,
  title = {DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice},
  author = {Vincent Cheval and Steve Kremer and Itsaka Rakotonirina},
  year = {2024},
  doi = {10.46298/theoretics.24.4},
  url = {https://arxiv.org/abs/2211.03225},
  note = {Source identifier: 2211.03225}
}