Treffer: Verifiable verification in cryptographic protocols
Titel:
Verifiable verification in cryptographic protocols / Marc Fischlin, Felix Günther ; Weizhi Meng, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda
Beteiligt:
Veröffentlicht in:
CCS '23 : Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. - [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2023. - ISBN 9798400700507. - (2023), Seite 3239 - 3253
Entstehung:
2023
Format:
Sprache:
Englisch
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe:
Schlagworte:
DOI:
10.1145/3576915.3623151