Items where Author is "Pruiksma, Klaas"

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2024) Layered Symbolic Security Analysis in DY*. In: Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 3-21. ISBN 9783031514784

Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni, Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim (2023) Layered Symbolic Security Analysis in DY*. UNSPECIFIED.