{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:32:55Z","timestamp":1780633975297,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,30]]},"DOI":"10.1145\/3664476.3664485","type":"proceedings-article","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T12:35:50Z","timestamp":1721910950000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Provably Secure Communication Protocols for Remote Attestation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3055-9951","authenticated-orcid":false,"given":"Johannes","family":"Wilson","sequence":"first","affiliation":[{"name":"Sectra Communications, Sweden and Link\u00f6ping University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1916-3398","authenticated-orcid":false,"given":"Mikael","family":"Asplund","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5888-1291","authenticated-orcid":false,"given":"Niklas","family":"Johansson","sequence":"additional","affiliation":[{"name":"Sectra Communications, Sweden and Link\u00f6ping University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2707-8089","authenticated-orcid":false,"given":"Felipe","family":"Boeira","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978358"},{"key":"e_1_3_2_1_2_1","volume-title":"International Workshop on Security Protocols. Springer, 28\u201341","author":"Asokan Nadarajah","year":"2003","unstructured":"Nadarajah Asokan, Valtteri Niemi, and Kaisa Nyberg. 2003. Man-in-the-middle in tunnelled authentication protocols. In International Workshop on Security Protocols. Springer, 28\u201341."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.23"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00037"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.26"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-011-0124-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23394"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134063"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.35"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484532"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/358722.358740"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.257"},{"key":"e_1_3_2_1_15_1","first-page":"36","article-title":"TCG Trusted Attestation Protocol (TAP) Information Model for TPM Families 1.2 and 2.0 and DICE Family 1.0. https:\/\/trustedcomputinggroup.org\/wp-content\/uploads\/TNC_TAP_Information_Model_v1.00_r0.36-FINAL.pdf Ver. 1.0","volume":"0","author":"Trusted\u00a0Computing Group","year":"2019","unstructured":"Trusted\u00a0Computing Group. 2019. TCG Trusted Attestation Protocol (TAP) Information Model for TPM Families 1.2 and 2.0 and DICE Family 1.0. https:\/\/trustedcomputinggroup.org\/wp-content\/uploads\/TNC_TAP_Information_Model_v1.00_r0.36-FINAL.pdf Ver. 1.0, Rev. 0.36. Last accessed 27 February 2024.","journal-title":"Rev."},{"key":"e_1_3_2_1_16_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Lowe Gavin","unstructured":"Gavin Lowe. 1996. Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 147\u2013166."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"e_1_3_2_1_18_1","volume-title":"The TAMARIN Prover for the Symbolic Analysis of Security Protocols","author":"Meier Simon","unstructured":"Simon Meier, Benedikt Schmidt, Cas Cremers, and David Basin. 2013. The TAMARIN Prover for the Symbolic Analysis of Security Protocols. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 696\u2013701."},{"key":"e_1_3_2_1_19_1","volume-title":"VRASED: A Verified Hardware\/Software Co-Design for Remote Attestation. In 28th USENIX Security Symposium (USENIX Security 19)","author":"De\u00a0Oliveira Nunes Ivan","year":"2019","unstructured":"Ivan De\u00a0Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, and Gene Tsudik. 2019. VRASED: A Verified Hardware\/Software Co-Design for Remote Attestation. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA, 1429\u20131446. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/de-oliveira-nunes"},{"key":"e_1_3_2_1_20_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"De\u00a0Oliveira Nunes Ivan","year":"2020","unstructured":"Ivan De\u00a0Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik. 2020. APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 771\u2013788. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/nunes"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.32"},{"key":"e_1_3_2_1_22_1","volume-title":"SCRAPS: Scalable Collective Remote Attestation for Pub-Sub IoT Networks with Untrusted Proxy Verifier. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Petzi Lukas","year":"2022","unstructured":"Lukas Petzi, Ala Eddine\u00a0Ben Yahya, Alexandra Dmitrienko, Gene Tsudik, Thomas Prantl, and Samuel Kounev. 2022. SCRAPS: Scalable Collective Remote Attestation for Pub-Sub IoT Networks with Untrusted Proxy Verifier. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3485\u20133501. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/petzi"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251375.1251391"},{"key":"e_1_3_2_1_24_1","volume-title":"Real-time Kernel Protection (RKP). https:\/\/docs.samsungknox.com\/admin\/fundamentals\/whitepaper\/samsung-knox-for-android\/core-platform-security\/real-time-kernel-protection\/ Last accessed","year":"2024","unstructured":"Samsung. 2023. Real-time Kernel Protection (RKP). https:\/\/docs.samsungknox.com\/admin\/fundamentals\/whitepaper\/samsung-knox-for-android\/core-platform-security\/real-time-kernel-protection\/ Last accessed 27 February 2024."},{"key":"e_1_3_2_1_25_1","volume-title":"n.d.. Welcome to Knox Attestation. (n.d.). https:\/\/docs.samsungknox.com\/dev\/knox-attestation\/enhanced-attestation-v3\/ Last accessed","year":"2024","unstructured":"Samsung. n.d.. Welcome to Knox Attestation. (n.d.). https:\/\/docs.samsungknox.com\/dev\/knox-attestation\/enhanced-attestation-v3\/ Last accessed 27 February 2024."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3087421"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00099"},{"key":"e_1_3_2_1_28_1","volume-title":"Supporting third party attestation for Intel\u00ae SGX with Intel\u00ae data center attestation primitives. White paper","author":"Scarlata Vinnie","year":"2018","unstructured":"Vinnie Scarlata, Simon Johnson, James Beaney, and Piotr Zmijewski. 2018. Supporting third party attestation for Intel\u00ae SGX with Intel\u00ae data center attestation primitives. White paper (2018), 12."},{"key":"e_1_3_2_1_29_1","unstructured":"Benedikt Schmidt. 2012. Formal analysis of key exchange protocols and physical protocols. Ph.\u00a0D. Dissertation. ETH Zurich."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.25"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.004"},{"key":"e_1_3_2_1_32_1","volume-title":"The Second USENIX Workshop on Electronic Commerce Proceedings, Vol.\u00a01. 29\u201340","author":"Wagner David","year":"1996","unstructured":"David Wagner, Bruce Schneier, 1996. Analysis of the SSL 3.0 protocol. In The Second USENIX Workshop on Electronic Commerce Proceedings, Vol.\u00a01. 29\u201340."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3372197"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2019.00019"},{"key":"e_1_3_2_1_35_1","volume-title":"Formally Verified Remote Attestation Protocols with Strong Authentication","author":"Wilson Johannes","year":"2023","unstructured":"Johannes Wilson. 2023. Formally Verified Remote Attestation Protocols with Strong Authentication. Link\u00f6ping University (2023). [Master\u2019s Thesis]."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00025"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203803"}],"event":{"name":"ARES 2024: The 19th International Conference on Availability, Reliability and Security","location":"Vienna Austria","acronym":"ARES 2024"},"container-title":["Proceedings of the 19th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664476.3664485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3664476.3664485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:55:55Z","timestamp":1755881755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664476.3664485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,30]]},"references-count":37,"alternative-id":["10.1145\/3664476.3664485","10.1145\/3664476"],"URL":"https:\/\/doi.org\/10.1145\/3664476.3664485","relation":{},"subject":[],"published":{"date-parts":[[2024,7,30]]},"assertion":[{"value":"2024-07-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}