Paper 2023/1214

Verifiable Verification in Cryptographic Protocols

Marc Fischlin, TU Darmstadt
Felix Günther, ETH Zurich
Abstract

Common verification steps in cryptographic protocols, such as signature or message authentication code checks or the validation of elliptic curve points, are crucial for the overall security of the protocol. Yet implementation errors omitting these steps easily remain unnoticed, as often the protocol will function perfectly anyways. One of the most prominent examples is Apple's goto fail bug where the erroneous certificate verification skipped over several of the required steps, marking invalid certificates as correctly verified. This vulnerability went undetected for at least 17 months. We propose here a mechanism which supports the detection of such errors on a cryptographic level. Instead of merely returning the binary acceptance decision, we let the verification return more fine-grained information in form of what we call a confirmation code. The reader may think of the confirmation code as disposable information produced as part of the relevant verification steps. In case of an implementation error like the goto fail bug, the confirmation code would then miss essential elements. The question arises now how to verify the confirmation code itself. We show how to use confirmation codes to tie security to basic functionality at the overall protocol level, making erroneous implementations be detected through the protocol not functioning properly. More concretely, we discuss the usage of confirmation codes in secure connections, established via a key exchange protocol and secured through the derived keys. If some verification steps in a key exchange protocol execution are faulty, then so will be the confirmation codes, and because we can let the confirmation codes enter key derivation, the connection of the two parties will eventually fail. In consequence, an implementation error like goto fail would now be detectable through a simple connection test.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. Major revision. ACM CCS 2023
Keywords
verificationcryptographic protocolsconfirmation codessignaturesMACselliptic curve parameter validation
Contact author(s)
marc fischlin @ cryptoplexity de
mail @ felixguenther info
History
2023-08-11: approved
2023-08-10: received
See all versions
Short URL
https://ia.cr/2023/1214
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2023/1214,
      author = {Marc Fischlin and Felix Günther},
      title = {Verifiable Verification in Cryptographic Protocols},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/1214},
      year = {2023},
      url = {https://eprint.iacr.org/2023/1214}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.