Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Kuesters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Wurtele, Tim
(International Association for Cryptologic Research, 2023-09)
While cryptographic protocols are often analyzed in isolation, they are typically deployed within a stack of protocols, where each layer relies on the security guarantees provided by the protocol layer below it, and in ...