A Generic Methodology for the Modular Verification of Security Protocol Implementations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Linard Arquint' in GoogleThis author has not been identified. Look up 'Malte Schwerhoff' in GoogleThis author has not been identified. Look up 'Vaibhav Mehta' in GoogleThis author has not been identified. Look up 'Peter Müller 0001' in Google

runs on WebDSL