@misc{indiciae856e7986dd8b,
  title = {Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)},
  author = {Linard Arquint and Felix A. Wolf and Joseph Lallemand and Ralf Sasse and Christoph Sprenger and Sven N. Wiesner and David Basin and Peter Müller},
  year = {2022},
  url = {https://arxiv.org/abs/2212.04171},
  note = {Source identifier: 2212.04171}
}