Layered Symbolic Security Analysis in $\textsf {DY}^\star $.

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Ksters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Wrtele

Browse the full ESORICS paper archive.