Title |
Layered symbolic security analysis in DY* / Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele |
|---|---|
Involved |
Karthikeyan Bhargavan (Verfasser)
Abhishek Bichhawat (Verfasser) Pedram Hosseyni (Verfasser) Ralf Küsters (Verfasser)
Klaas Pruiksma (Verfasser)
Guido Schmitz (Verfasser) Clara Waldmann (Verfasser) Tim Würtele (Verfasser) |
Published |
Stuttgart: Universitätsbibliothek der Universität Stuttgart |
Extent |
Online-Ressource |
Language |
|
Country |
|
Topic |
|
DDC notation |
|
Persistent identifier |
urn:nbn:de:bsz:93-opus-ds-134914 (URN) |
Further information |
In: European Symposium on Research in Computer Security (28th, 2023, Den Haag) |
Record ID |
1302224670 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: