Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele. Layered Symbolic Security Analysis in $\textsf {DY}^\star $. In Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis, editors, Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III. Volume 14346 of Lecture Notes in Computer Science, pages 3-21, Springer, 2023. [doi]
Abstract is missing.