Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller 0001. A Generic Methodology for the Modular Verification of Security Protocol Implementations. In Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda, editors, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. pages 1377-1391, ACM, 2023. [doi]
@inproceedings{ArquintSM023,
title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations},
author = {Linard Arquint and Malte Schwerhoff and Vaibhav Mehta and Peter Müller 0001},
year = {2023},
doi = {10.1145/3576915.3623105},
url = {https://doi.org/10.1145/3576915.3623105},
researchr = {https://researchr.org/publication/ArquintSM023},
cites = {0},
citedby = {0},
pages = {1377-1391},
booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023},
editor = {Weizhi Meng 0001 and Christian Damsgaard Jensen and Cas Cremers and Engin Kirda},
publisher = {ACM},
}