@TechReport{ArquintSchwerhoffMehtaMuellerExt23,
  author = {L. Arquint and M. Schwerhoff and V. Mehta and P. M\"uller},
  title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)},
  institution = {arXiv},
  year = {2023},
  number = {2212.02626},
  url = {https://arxiv.org/abs/2212.02626},
  urltext = {[arXiv]}
}