*Result*: Verifiable verification in cryptographic protocols
*Title*:
Verifiable verification in cryptographic protocols / Marc Fischlin, Felix Günther ; Weizhi Meng, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda
*Author/editor-in-chief*:
*Published 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
*Manufacture*:
2023
*Format*:
*Language*:
*eng*
*Other edition entry*:
Erscheint auch als Druck-Ausgabe:
*Subject Added Keywords*:
*DOI*:
10.1145/3576915.3623151