%0 Conference Paper %1 bhargavan2024layered %A Bhargavan, Karthikeyan %A Bichhawat, Abhishek %A Hosseyni Damabi, Seyed Pedram %A Küsters, Ralf %A Pruiksma, Klaas %A Schmitz, Guido %A Waldmann, Clara %A Würtele, Tim %B Computer Security : ESORICS 2023 %D 2024 %E Tsudik, Gene %E Conti, Mauro %E Liang, Kaitai %E Smaragdakis, Georgios %I Springer %K %N 14346 %P 3-21 %R 10.1007/978-3-031-51479-1_1 %T Layered Symbolic Security Analysis in DY* %V 3 %@ 978-3-031-51478-4 and 978-3-031-51479-1

@inproceedings{bhargavan2024layered, added-at = {2024-10-31T11:46:20.000+0100}, affiliation = {Pruiksma, K (Corresponding Author), Univ Stuttgart, Stuttgart, Germany. Bhargavan, Karthikeyan, INRIA Paris, Paris, France. Bhargavan, Karthikeyan, Cryspen, Paris, France. Bichhawat, Abhishek, IIT Gandhinagar, Gandhinagar, India. Hosseyni, Pedram; Kuesters, Ralf; Pruiksma, Klaas; Waldmann, Clara, Univ Stuttgart, Stuttgart, Germany. Schmitz, Guido, Royal Holloway Univ London, Egham, England.}, author = {Bhargavan, Karthikeyan and Bichhawat, Abhishek and Hosseyni Damabi, Seyed Pedram and Küsters, Ralf and Pruiksma, Klaas and Schmitz, Guido and Waldmann, Clara and Würtele, Tim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/255a9eebe7f7cd674f5c940d0170bd78e/unibiblio}, booktitle = {Computer Security : ESORICS 2023}, doi = {10.1007/978-3-031-51479-1_1}, editor = {Tsudik, Gene and Conti, Mauro and Liang, Kaitai and Smaragdakis, Georgios}, eventdate = {2023-09-25/2023-09-29}, eventtitle = {28th European Symposium on Research in Computer Security}, interhash = {b67a928c981dbe2167853e08fc375c84}, intrahash = {55a9eebe7f7cd674f5c940d0170bd78e}, isbn = {{978-3-031-51478-4} and {978-3-031-51479-1}}, keywords = {}, language = {eng}, number = 14346, pages = {3-21}, publisher = {Springer}, research-areas = {Computer Science; Telecommunications}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-31T10:46:20.000+0100}, title = {Layered Symbolic Security Analysis in DY*}, unique-id = {WOS:001207205700001}, venue = {The Hague, The Netherlands}, volume = 3, year = 2024 }