%0 Conference Paper %1 bhargavan2021indepth %A Bhargavan, Karthikeyan %A Bichhawat, Abhishek %A Do, Quoc Huy %A Hosseyni, Pedram %A Küsters, Ralf %A Schmitz, Guido %A Würtele, Tim %B CCS '21 : Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security %C New York %D 2021 %I Association for Computing Machinery %K %P 2601-2617 %R 10.1145/3460120.3484588 %T An In-Depth Symbolic Security Analysis of the ACME Standard %@ 978-1-4503-8454-4

@inproceedings{bhargavan2021indepth, added-at = {2023-08-31T16:02:44.000+0200}, address = {New York}, affiliation = {Bhargavan, K (Corresponding Author), INRIA, Paris, France. Bhargavan, Karthikeyan, INRIA, Paris, France. Bichhawat, Abhishek, IIT Gandhinagar, Gandhinagar, Gujarat, India. Quoc Huy Do; Hosseyni, Pedram; Kuesters, Ralf; Schmitz, Guido; Wuertele, Tim, Univ Stuttgart, Stuttgart, Germany. Quoc Huy Do, GLIWA GmbH, Weilheim, Germany. Schmitz, Guido, Royal Holloway Univ London, London, England.}, author = {Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e0b24d320ca1dfa08dbde4a40ead8d08/puma-wartung}, booktitle = {CCS '21 : Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security}, doi = {10.1145/3460120.3484588}, eventdate = {2021-11-15/2021-11-19}, eventtitle = {CCS '21 : 2021 ACM SIGSAC Conference on Computer and Communications Security}, interhash = {3b7c9d39f0e467f2d9cf6a68462d580b}, intrahash = {e0b24d320ca1dfa08dbde4a40ead8d08}, isbn = {978-1-4503-8454-4}, keywords = {}, language = {eng}, pages = {2601-2617}, publisher = {Association for Computing Machinery}, research-areas = {Computer Science; Telecommunications}, timestamp = {2023-08-31T14:02:44.000+0200}, title = {An In-Depth Symbolic Security Analysis of the ACME Standard}, unique-id = {WOS:000768478302059}, venue = {Online}, year = 2021 }