@misc{indiciaec232b4b45c2d,
  title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)},
  author = {Linard Arquint and Malte Schwerhoff and Vaibhav Mehta and Peter Müller},
  year = {2023},
  doi = {10.1145/3576915.3623105},
  url = {https://arxiv.org/abs/2212.02626},
  note = {Source identifier: 2212.02626}
}