Layered Symbolic Security Analysis in DY$^\star$

ePrint Report: Layered Symbolic Security Analysis in DY$^\star$

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Kuesters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele

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 turn provides its own security functionality to the layer above. Formally analyzing the whole stack in one go is infeasible even for …

analysis cryptographic eprint report isolation protocol protocols report security security analysis stack tim