{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T03:32:55Z","timestamp":1764732775650,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T00:00:00Z","timestamp":1523318400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission","award":["Grant No. 6882"],"award-info":[{"award-number":["Grant No. 6882"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,10]]},"DOI":"10.1145\/3190619.3190640","type":"proceedings-article","created":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T12:31:17Z","timestamp":1523449877000},"page":"1-10","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Formal verification of the W3C web authentication protocol"],"prefix":"10.1145","author":[{"given":"Iness Ben","family":"Guirat","sequence":"first","affiliation":[{"name":"INSAT, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harry","family":"Halpin","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/373243.360213"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52993-5_9"},{"key":"e_1_3_2_1_4_1","unstructured":"Dirk Balfanz Adam Langley Niel Harper and Jeff Hodges. 2017. Token Binding over HTTP. IETF. https:\/\/datatracker.ietf.org\/doc\/draft-ietf-tokbind-https.  Dirk Balfanz Adam Langley Niel Harper and Jeff Hodges. 2017. Token Binding over HTTP. IETF. https:\/\/datatracker.ietf.org\/doc\/draft-ietf-tokbind-https."},{"key":"e_1_3_2_1_5_1","volume-title":"IEEE Symposium on Security and Privacy (Oakland).","author":"Bhargavan K","year":"2016","unstructured":"K Bhargavan , B Blanchet , and N Kobeissi . 2016 . Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate . In IEEE Symposium on Security and Privacy (Oakland). K Bhargavan, B Blanchet, and N Kobeissi. 2016. Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate. In IEEE Symposium on Security and Privacy (Oakland)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet. 2007. CryptoVerif: Computationally sound mechanized prover for cryptographic protocols. In Dagstuhl seminar \"Formal Protocol Verification Applied. 117.  Bruno Blanchet. 2007. CryptoVerif: Computationally sound mechanized prover for cryptographic protocols. In Dagstuhl seminar \"Formal Protocol Verification Applied. 117.","DOI":"10.1109\/SP.2006.1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"e_1_3_2_1_9_1","unstructured":"Bruno Blanchet Ben Smyth and Vincent Cheval. 2015. Proverif 1.90: Automatic cryptographic protocol verifier user manual and tutorial. URL: http:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/proverif\/manual.pdf.  Bruno Blanchet Ben Smyth and Vincent Cheval. 2015. Proverif 1.90: Automatic cryptographic protocol verifier user manual and tutorial. URL: http:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/proverif\/manual.pdf."},{"volume-title":"Security Standardisation Research","author":"Cairns Kelsey","key":"e_1_3_2_1_10_1","unstructured":"Kelsey Cairns , Harry Halpin , and Graham Steel . 2016. Security Analysis of the W3C Web Cryptography API . In Security Standardisation Research . Springer , 112--140. Kelsey Cairns, Harry Halpin, and Graham Steel. 2016. Security Analysis of the W3C Web Cryptography API. In Security Standardisation Research. Springer, 112--140."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12510-2_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382240"},{"key":"e_1_3_2_1_13_1","first-page":"23","article-title":"The Tangled Web of Password Reuse","volume":"14","author":"Das Anupam","year":"2014","unstructured":"Anupam Das , Joseph Bonneau , Matthew Caesar , Nikita Borisov , and XiaoFeng Wang . 2014 . The Tangled Web of Password Reuse .. In NDSS , Vol. 14. 23 -- 26 . Anupam Das, Joseph Bonneau, Matthew Caesar, Nikita Borisov, and XiaoFeng Wang. 2014. The Tangled Web of Password Reuse.. In NDSS, Vol. 14. 23--26.","journal-title":"NDSS"},{"key":"e_1_3_2_1_14_1","volume-title":"Automatic verification of privacy properties in the applied pi calculus. Trust Management II","author":"Delaune St\u00e9phanie","year":"2008","unstructured":"St\u00e9phanie Delaune , Mark Ryan , and Ben Smyth . 2008. Automatic verification of privacy properties in the applied pi calculus. Trust Management II ( 2008 ), 263--278. St\u00e9phanie Delaune, Mark Ryan, and Ben Smyth. 2008. Automatic verification of privacy properties in the applied pi calculus. Trust Management II (2008), 263--278."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90070-9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37288-9_5"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the IEEE CS Security and Privacy Workshops.","author":"Halpin Harry","year":"2012","unstructured":"Harry Halpin . 2012 . Web Authentication: The next step in the evolving identity eco-system? . In Proceedings of the IEEE CS Security and Privacy Workshops. Harry Halpin. 2012. Web Authentication: The next step in the evolving identity eco-system?. In Proceedings of the IEEE CS Security and Privacy Workshops."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71501-8_2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.40"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646480.693776"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_3_2_1_23_1","volume-title":"International Symposium on Foundations and Practice of Security. Springer, 68--82","author":"Pereira Olivier","year":"2017","unstructured":"Olivier Pereira , Florentin Rochet , and Cyrille Wiedling . 2017 . Formal Analysis of the FIDO 1. x Protocol . In International Symposium on Foundations and Practice of Security. Springer, 68--82 . Olivier Pereira, Florentin Rochet, and Cyrille Wiedling. 2017. Formal Analysis of the FIDO 1. x Protocol. In International Symposium on Foundations and Practice of Security. Springer, 68--82."},{"key":"e_1_3_2_1_24_1","unstructured":"Andreas Pfitzmann and Marit Hansen. 2005. Anonymity unlinkability unobservability pseudonymity and identity management-a consolidated proposal for terminology. (2005).  Andreas Pfitzmann and Marit Hansen. 2005. Anonymity unlinkability unobservability pseudonymity and identity management-a consolidated proposal for terminology. (2005)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110261"},{"key":"e_1_3_2_1_26_1","volume-title":"Web Security: Same Origin Policy and its Exemptions.","author":"Vadivel Saravanan Subramanian Sakthivel Ramachandran","year":"2006","unstructured":"Sakthivel Ramachandran Vadivel Saravanan Subramanian . 2006 . Web Security: Same Origin Policy and its Exemptions. (2006). Sakthivel Ramachandran Vadivel Saravanan Subramanian. 2006. Web Security: Same Origin Policy and its Exemptions. (2006)."},{"key":"e_1_3_2_1_27_1","unstructured":"Sampath Srinivas Dirk Balfanz and Eric Tifany. 2015. Universal 2nd Factor (U2F) overview. FIDO Alliance Proposed Standard.  Sampath Srinivas Dirk Balfanz and Eric Tifany. 2015. Universal 2nd Factor (U2F) overview. FIDO Alliance Proposed Standard."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034811"},{"volume-title":"Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, and Jeff Hodges.","year":"2015","key":"e_1_3_2_1_29_1","unstructured":"Bharadwaj. Vijay , Hubert Le Van Gong , Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, and Jeff Hodges. 2015 . FIDO 2.0: Web API for accessing FIDO 2.0 credentials. (2015). https:\/\/www.w3.org\/Submission\/2015\/SUBM-ido-web-api-20151120\/. Bharadwaj. Vijay, Hubert Le Van Gong, Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, and Jeff Hodges. 2015. FIDO 2.0: Web API for accessing FIDO 2.0 credentials. (2015). https:\/\/www.w3.org\/Submission\/2015\/SUBM-ido-web-api-20151120\/."},{"volume-title":"Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, Jeff Hodges, Michael Jones, Rolf Lindeman, and J.C. Jones.","year":"2017","key":"e_1_3_2_1_30_1","unstructured":"Bharadwaj. Vijay , Hubert Le Van Gong , Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, Jeff Hodges, Michael Jones, Rolf Lindeman, and J.C. Jones. 2017 . Web Authentication : An API for accessing Public Key Credentials Level 1. (2017). https:\/\/www.w3.org\/TR\/webauthn\/. Bharadwaj. Vijay, Hubert Le Van Gong, Dirk Balfanz, Alexei Czeskis, Arnar Birgisson, Jeff Hodges, Michael Jones, Rolf Lindeman, and J.C. Jones. 2017. Web Authentication: An API for accessing Public Key Credentials Level 1. (2017). https:\/\/www.w3.org\/TR\/webauthn\/."}],"event":{"name":"HoTSoS '18: Symposium and Bootcamp","sponsor":["National Security Agency National Security Agency","SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Raleigh North Carolina","acronym":"HoTSoS '18"},"container-title":["Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3190619.3190640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T06:05:37Z","timestamp":1673676337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3190619.3190640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,10]]},"references-count":30,"alternative-id":["10.1145\/3190619.3190640","10.1145\/3190619"],"URL":"https:\/\/doi.org\/10.1145\/3190619.3190640","relation":{},"subject":[],"published":{"date-parts":[[2018,4,10]]},"assertion":[{"value":"2018-04-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}