{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:30:31Z","timestamp":1783009831927,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,8,25]]},"DOI":"10.1145\/3708821.3733910","type":"proceedings-article","created":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T06:30:56Z","timestamp":1755066656000},"page":"231-247","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Post-Compromise Security with Application-Level Key-Controls \u2013 with a comprehensive study of the 5G AKMA protocol"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5864-777X","authenticated-orcid":false,"given":"Ioana","family":"Boureanu","sequence":"first","affiliation":[{"name":"Univ. of Surrey, Surrey Centre for Cyber Security, Guildford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4638-0639","authenticated-orcid":false,"given":"Cristina","family":"Onete","sequence":"additional","affiliation":[{"name":"University of Limoges\/XLIM\/CNRS 7252, Limoges, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7167-0146","authenticated-orcid":false,"given":"Stephan","family":"Wesemeyer","sequence":"additional","affiliation":[{"name":"Univ. of Surrey, Surrey Centre for Cyber Security, Guildford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9638-3143","authenticated-orcid":false,"given":"L\u00e9o","family":"Robert","sequence":"additional","affiliation":[{"name":"MIS, Universit\u00e9 de Picardie Jules Verne, Amiens, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3370-9174","authenticated-orcid":false,"given":"Rhys","family":"Miller","sequence":"additional","affiliation":[{"name":"Univ. of Surrey, Surrey Centre for Cyber Security, Guildford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4459-511X","authenticated-orcid":false,"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[{"name":"Universite Clermont Auvergne, Clermont Ferrand, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4902-9800","authenticated-orcid":false,"given":"Fortunat","family":"Rajaona","sequence":"additional","affiliation":[{"name":"Surrey Centre for Cyber Security, University of Surrey, UK, Guildford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,8,24]]},"reference":[{"key":"e_1_3_3_2_2_2","volume-title":"YAML OpenAPI Gitlab for 3GPP 5G Core Network (Release 17)","unstructured":"3GPP. [n. d.]. YAML OpenAPI Gitlab for 3GPP 5G Core Network (Release 17). https:\/\/forge.3gpp.org\/rep\/all\/5G_APIs"},{"key":"e_1_3_3_2_3_2","volume-title":"Procedures for the 5G System","year":"2021","unstructured":"3GPP. 2021. Procedures for the 5G System. Technical Specification (TS) 23.502. 3rd Generation Partnership Project (3GPP). https:\/\/www.etsi.org\/deliver\/etsi_ts\/123500_123599\/123502\/15.02.00_60\/ts_123502v150200p.pdf Version 16.7.0."},{"key":"e_1_3_3_2_4_2","volume-title":"5G Security Assurance Specification (SCAS); Access and Mobility management Function (AMF)","year":"2022","unstructured":"3GPP. 2022. 5G Security Assurance Specification (SCAS); Access and Mobility management Function (AMF). Technical Specification (TS) 33.512. 3GPP. https:\/\/www.etsi.org\/deliver\/etsi_ts\/133500_133599\/133512\/16.03.00_60\/ts_133512v160300p.pdf Version 16.3.0."},{"key":"e_1_3_3_2_5_2","volume-title":"5G Security Assurance Specification (SCAS) for the Session Management Function (SMF) network product class","year":"2022","unstructured":"3GPP. 2022. 5G Security Assurance Specification (SCAS) for the Session Management Function (SMF) network product class. Technical Specification (TS) 33.515. 3GPP. https:\/\/www.etsi.org\/deliver\/etsi_ts\/133500_133599\/133515\/16.02.00_60\/ts_133515v160200p.pdf Version 16.2.0."},{"key":"e_1_3_3_2_6_2","volume-title":"Authentication and Key Management for Applications (AKMA) based on 3GPP credentials in the 5G System","year":"2022","unstructured":"3GPP. 2022. Authentication and Key Management for Applications (AKMA) based on 3GPP credentials in the 5G System. Technical Specification (TS) 33.535. 3GPP. https:\/\/www.3gpp.org\/ftp\/Specs\/archive\/33_series\/33.535\/33535-h70.zip Version 17."},{"key":"e_1_3_3_2_7_2","volume-title":"Network Exposure Function Northbound APIs","year":"2022","unstructured":"3GPP. 2022. Network Exposure Function Northbound APIs. Technical Specification (TS) 33.535. 3GPP. https:\/\/www.etsi.org\/deliver\/etsi_ts\/133500_133599\/133535\/17.06.00_60\/ts_133535v170600p.pdf Version 17.6.0."},{"key":"e_1_3_3_2_8_2","volume-title":"Digital cellular telecommunications system (Phase 2+),...","year":"2023","unstructured":"3GPP. 2023. Digital cellular telecommunications system (Phase 2+),... Technical Specification (TS) 33.220. 3GPP. https:\/\/www.3gpp.org\/ftp\/Specs\/archive\/33_series\/33.220\/33220-h40.zip Version 17.4.0."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and C\u00e9dric Fournet. 2001. Mobile values new names and secure communication. ACM Sigplan Notices 36 3 (2001) 104\u2013115.","DOI":"10.1145\/373243.360213"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Gizem Akman Philip Ginzboorg Mohamed\u00a0Taoufiq Damir and Valtteri Niemi. 2023. Privacy-Enhanced AKMA for Multi-Access Edge Computing Mobility. Comput. 12 1 (2023) 2. 10.3390\/computers12010002","DOI":"10.3390\/computers12010002"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-10542-5_30"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00078"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"e_1_3_3_2_14_2","volume-title":"Usenix Security Symposium","author":"Blazy Olivier","year":"2023","unstructured":"Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, and L\u00e9o Robert. 2023. How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. In Usenix Security Symposium."},{"key":"e_1_3_3_2_15_2","unstructured":"Lily Chen. 2022. Recommendation for Key Derivation Using Pseudorandom Functions. online. https:\/\/csrc.nist.gov\/pubs\/sp\/800\/108\/r1\/upd1\/final https:\/\/csrc.nist.gov\/pubs\/sp\/800\/108\/r1\/upd1\/final."},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Katriel Cohn-Gordon Cas Cremers Benjamin Dowling Luke Garratt and Douglas Stebila. 2017. A Formal Security Analysis of the Signal Messaging Protocol. Proceedings - 2nd IEEE European Symposium on Security and Privacy EuroS and P 2017July (2017) 451\u2013466. 10.1109\/EuroSP.2017.27","DOI":"10.1109\/EuroSP.2017.27"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"V\u00e9ronique Cortier Steve Kremer and Bogdan Warinschi. 2011. A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reason. 46 3-4 (2011) 225\u2013259. 10.1007\/s10817-010-9187-9","DOI":"10.1007\/s10817-010-9187-9"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"D. Dolev and A. Yao. 1983. On the Security of Public-Key Protocols. IEEE Trans. Inf. Theory 29 29 2 (1983).","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00015"},{"key":"e_1_3_3_2_20_2","volume-title":"Open5GCore","year":"2023","unstructured":"Fraunhofer. 2023. Open5GCore. https:\/\/www.open5gcore.org\/"},{"key":"e_1_3_3_2_21_2","volume-title":"Open5GCore: Advanced QoS and Session Management","year":"2023","unstructured":"Fraunhofer. 2023. Open5GCore: Advanced QoS and Session Management. https:\/\/www.open5gcore.org\/open5gcore\/qos-session-management"},{"key":"e_1_3_3_2_22_2","unstructured":"M. Marlinspike and T. Perrin. 2016. The double ratchet algorithm. https:\/\/whispersystems.org\/docs\/specifications\/doubleratchet\/doubleratchet.pdf"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.17487\/RFC8446"},{"key":"e_1_3_3_2_25_2","unstructured":"Rhys\u00a0Miller Stephan\u00a0Wesemeyer Ioana\u00a0Boureanu. 2024. AKMA: Formal Models and Implementation. https:\/\/github.com\/UoS-SCCS\/AKMA_PCSModels_Implementation."},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Tengshun Yang Shuling Wang Bohua Zhan Naijun Zhan Jinghui Li Shuangqing Xiang Zhan Xiang and Bifei Mao. 2022. Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). Journal of Systems Architecture 126 (2022) 102478. 10.1016\/j.sysarc.2022.102478","DOI":"10.1016\/j.sysarc.2022.102478"}],"event":{"name":"ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security","location":"Hanoi Vietnam","acronym":"ASIA CCS '25","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 20th ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708821.3733910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T07:34:15Z","timestamp":1755070455000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708821.3733910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,24]]},"references-count":25,"alternative-id":["10.1145\/3708821.3733910","10.1145\/3708821"],"URL":"https:\/\/doi.org\/10.1145\/3708821.3733910","relation":{},"subject":[],"published":{"date-parts":[[2025,8,24]]},"assertion":[{"value":"2025-08-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}