{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T21:08:51Z","timestamp":1790024931677,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T00:00:00Z","timestamp":1572998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["645865"],"award-info":[{"award-number":["645865"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008952","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE39-0004-01"],"award-info":[{"award-number":["ANR-17-CE39-0004-01"]}],"id":[{"id":"10.13039\/501100008952","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,11,6]]},"DOI":"10.1145\/3319535.3354260","type":"proceedings-article","created":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T13:08:32Z","timestamp":1573132112000},"page":"905-922","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Exploiting Symmetries When Proving Equivalence Properties for Security Protocols"],"prefix":"10.1145","author":[{"given":"Vincent","family":"Cheval","sequence":"first","affiliation":[{"name":"INRIA Nancy Grand-Est & LORIA, Nancy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Kremer","sequence":"additional","affiliation":[{"name":"INRIA Nancy Grand-Est & LORIA, Nancy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Itsaka","family":"Rakotonirina","sequence":"additional","affiliation":[{"name":"INRIA Nancy Grand-Est & LORIA, Nancy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,11,6]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"New Names, and Secure Communication. J. ACM","author":"Abadi Martin","year":"2018"},{"key":"e_1_3_2_2_2_1","volume-title":"USENIX Security Symposium .","author":"Adida B.","year":"2008"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45741-3_13"},{"key":"e_1_3_2_2_4_1","volume-title":"ACM Conference on Computer and Communications Security (CCS) .","author":"Arapinis M."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_1"},{"key":"e_1_3_2_2_6_1","volume-title":"Partial Order Reduction for Security Protocols. International Conference on Concurrency Theory (CONCUR)","author":"Baelde David","year":"2015"},{"key":"e_1_3_2_2_7_1","volume-title":"POR for Security Protocol Equivalences - Beyond Action-Determinism. In European Symposium on Research in Computer Security (ESORICS) .","author":"Baelde David","year":"2018"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"e_1_3_2_2_9_1","volume-title":"Automated Symbolic Proofs of Observational Equivalence. In ACM Conference on Computer and Communications Security (CCS) .","author":"Basin David A.","year":"2015"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.37"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.26"},{"key":"e_1_3_2_2_12_1","volume-title":"Automated Verification of Selected Equivalences for Security Protocols. In 20th IEEE Symposium on Logic in Computer Science (LICS) .","author":"Blanchet Bruno","year":"2005"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet Martin Abadi and C\u00e9dric Fournet. 2008. Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. (2008).  Bruno Blanchet Martin Abadi and C\u00e9dric Fournet. 2008. Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. (2008).","DOI":"10.1016\/j.jlap.2007.06.002"},{"key":"e_1_3_2_2_14_1","volume-title":"Automated verification of equivalence properties of cryptographic protocols. ACM Transactions on Computational Logic","author":"Chadha Rohit","year":"2016"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36830-1_12"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00033"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_4"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Vincent Cheval Steve Kremer and Itsaka Rakotonirina. 2019. Exploiting symmetries when proving equivalence properties for security protocols (technical report). available at https:\/\/hal.archives-ouvertes.fr\/hal-02267866.  Vincent Cheval Steve Kremer and Itsaka Rakotonirina. 2019. Exploiting symmetries when proving equivalence properties for security protocols (technical report). available at https:\/\/hal.archives-ouvertes.fr\/hal-02267866.","DOI":"10.1145\/3319535.3354260"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_15"},{"key":"e_1_3_2_2_20_1","volume-title":"Marrero","author":"Clarke Edmund M.","year":"2003"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.9"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.15"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2018.00037"},{"key":"e_1_3_2_2_24_1","volume-title":"Attacking and fixing Helios: An analysis of ballot secrecy. Journal of Computer Security","author":"Cortier V\u00e9ronique","year":"2013"},{"key":"e_1_3_2_2_25_1","volume-title":"ACM Conference on Computer and Communications Security (CCS) .","author":"Cremers Cas"},{"key":"e_1_3_2_2_26_1","volume-title":"On the Security of Public Key Protocols. In Symposium on Foundations of Computer Science (FOCS) .","author":"Dolev D."},{"key":"e_1_3_2_2_27_1","volume-title":"Automatic testing equivalence verification of spi calculus specifications. ACM Transactions on Software Engineering and Methodology (TOSEM)","author":"Durante Luca","year":"2003"},{"key":"e_1_3_2_2_28_1","volume-title":"Symmetry and model checking. Formal methods in system design","author":"Allen Emerson E.","year":"1996"},{"key":"e_1_3_2_2_30_1","volume-title":"Basin","author":"Sebastian M\u00f6","year":"2010"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11851-2_11"},{"key":"e_1_3_2_2_32_1","volume-title":"SPEC: An Equivalence Checker for Security Protocols. In Asian Symposium on Programming Languages and Systems (APLAS).","author":"Tiu Alwen","year":"2016"}],"event":{"name":"CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security","location":"London United Kingdom","acronym":"CCS '19","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3354260","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319535.3354260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:32Z","timestamp":1750203872000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3354260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,6]]},"references-count":31,"alternative-id":["10.1145\/3319535.3354260","10.1145\/3319535"],"URL":"https:\/\/doi.org\/10.1145\/3319535.3354260","relation":{},"subject":[],"published":{"date-parts":[[2019,11,6]]},"assertion":[{"value":"2019-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}