| dc.contributor.author |
Bhargavan, Karthikeyan |
|
| dc.contributor.author |
Bichhawat, Abhishek |
|
| dc.contributor.author |
Huy Do, Quoc |
|
| dc.contributor.author |
Hosseyni, Pedram |
|
| dc.contributor.author |
Kusters, Ralf |
|
| dc.contributor.author |
Schmitz, Guido |
|
| dc.contributor.author |
Wurtele, Tim |
|
| dc.contributor.other |
28th ACM Conference on Computer and Communications Security (CCS 2021) |
|
| dc.coverage.spatial |
New York, US |
|
| dc.date.accessioned |
2021-11-24T13:31:14Z |
|
| dc.date.available |
2021-11-24T13:31:14Z |
|
| dc.date.issued |
15-11-21 |
|
| dc.identifier.citation |
Bhargavan, Karthikeyan; Bichhawat, Abhishek; Huy Do, Quoc; Hosseyni, Pedram; Kusters, Ralf; Schmitz, Guido and Wurtele, Tim, "An in-depth symbolic security analysis of the ACME standard", in the 28th ACM Conference on Computer and Communications Security (CCS 2021), New York, US, Nov. 15-19, 2021 |
en_US |
| dc.identifier.uri |
https://repository.iitgn.ac.in/handle/123456789/7290 |
|
| dc.description.statementofresponsibility |
by Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Kusters, Guido Schmitz and Tim Wurtele |
|
| dc.language.iso |
en_US |
en_US |
| dc.title |
An in-depth symbolic security analysis of the ACME standard |
en_US |
| dc.type |
Conference Paper |
en_US |