An in-depth symbolic security analysis of the ACME standard

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search Digital Repository


Browse

My Account