| dc.contributor.author |
Bhargavan, Karthikeyan |
|
| dc.contributor.author |
Bichhawat, Abhishek |
|
| dc.contributor.author |
Hosseyni, Pedram |
|
| dc.contributor.author |
Kusters, Ralf |
|
| dc.contributor.author |
Pruiksma, Klaas |
|
| dc.contributor.author |
Schmitz, Guido |
|
| dc.contributor.author |
Waldmann, Clara |
|
| dc.contributor.author |
Wurtele, Tim |
|
| dc.contributor.other |
28th European Symposium on Research in Computer Security (ESORICS 2023) |
|
| dc.coverage.spatial |
Netherlands |
|
| dc.date.accessioned |
2024-01-25T07:18:09Z |
|
| dc.date.available |
2024-01-25T07:18:09Z |
|
| dc.date.issued |
2023-09-25 |
|
| dc.identifier.citation |
Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Kusters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara and Wurtele, Tim, "Layered symbolic security analysis in DY*", in the 28th European Symposium on Research in Computer Security (ESORICS 2023), The Hague, NL, Sep. 25-29, 2023. |
|
| dc.identifier.uri |
https://repository.iitgn.ac.in/handle/123456789/9700 |
|
| dc.description.statementofresponsibility |
by Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Kusters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann and Tim Wurtele |
|
| dc.language.iso |
en_US |
|
| dc.title |
Layered symbolic security analysis in DY* |
|
| dc.type |
Conference Paper |
|