TY  - RPRT
TI  - A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
AU  - Linard Arquint
AU  - Malte Schwerhoff
AU  - Vaibhav Mehta
AU  - Peter Müller
PY  - 2023
DO  - 10.1145/3576915.3623105
UR  - https://arxiv.org/abs/2212.02626
ID  - 2212.02626
ER  -