{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T23:55:44Z","timestamp":1781567744694,"version":"3.54.5"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032195661","type":"print"},{"value":"9783032195678","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-19567-8_6","type":"book-chapter","created":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T23:39:31Z","timestamp":1781566771000},"page":"111-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["QUIC-MLS: Making a\u00a0Space Security Draft Standard Resilient for\u00a0Disconnected Environments"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3234-6527","authenticated-orcid":false,"given":"Benjamin","family":"Dowling","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1131-2109","authenticated-orcid":false,"given":"Britta","family":"Hale","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6171-2309","authenticated-orcid":false,"given":"Xisen","family":"Tian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7688-504X","authenticated-orcid":false,"given":"Bhagya","family":"Wimalasiri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"6_CR1","unstructured":"U.\u00a0N.\u00a0O. for Outer Space Affairs\u00a0(UNOOSA): Online Index of Objects Launched into Outer Space (2025). https:\/\/www.unoosa.org\/oosa\/osoindex\/search-ng.jspx"},{"key":"6_CR2","unstructured":"Vyncke, E.: Taking IP To Other Planets Charter (2025). https:\/\/datatracker.ietf.org\/doc\/charter-ietf-tiptop\/"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Iyengar, J.,\u00a0Thomson, M.: QUIC: A UDP-Based Multiplexed and Secure Transport. RFC 9000 (2021)","DOI":"10.17487\/RFC9000"},{"key":"6_CR4","unstructured":"Blanchet, M.,\u00a0Eddy, W.,\u00a0Li, T.: An Architecture for IP in Deep Space. Internet-Draft draft-many-deepspace-ip-architecture-01, Internet Engineering Task Force (2024, Work in Progress)"},{"key":"6_CR5","unstructured":"Smailes, J.,\u00a0David, R.,\u00a0Kohler, S.,\u00a0Birnbach, S.,\u00a0Martinovic, I.: Poster: spacequic: securing communication in computationally constrained spacecraft (2023)"},{"key":"6_CR6","unstructured":"Dowling, B.,\u00a0Hale, B.,\u00a0Tian, X.,\u00a0Wimalasiri, B.: Key establishment in the space environment (2025)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Sommer, M.,\u00a0Sterz, A.,\u00a0Vogelbacher, M.,\u00a0Bellafkir, H.,\u00a0Freisleben, B.: QUICL: a QUIC convergence layer for disruption-tolerant networks. In: Proceedings of the Int\u2019l ACM Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2023, pp.\u00a037\u201346. Association for Computing Machinery (2023)","DOI":"10.1145\/3616388.3617525"},{"issue":"7","key":"6_CR8","doi-asserted-by":"publisher","first-page":"9320","DOI":"10.1109\/TVT.2024.3393614","volume":"73","author":"G Amponis","year":"2024","unstructured":"Amponis, G., Lagkas, T., Argyriou, V., Radoglou-Grammatikis, P., Kyranou, K., Makris, I., Sarigiannidis, P.: Channel-aware QUIC control for enhanced CAM communications in C-V2X deployments over aerial base stations. IEEE Trans. Veh. Technol. 73(7), 9320\u20139333 (2024)","journal-title":"IEEE Trans. Veh. Technol."},{"key":"6_CR9","unstructured":"Sandvine: The Global Internet Phenomena Report (2023)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Aviram, N.,\u00a0Gellert, K.,\u00a0Jager, T.: Session resumption protocols and efficient forward security for TLS 1.3 0-RTT. J. Cryptol.\u00a034 (2021)","DOI":"10.1007\/s00145-021-09385-0"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"G\u00fcnther, F.,\u00a0Hale, B.,\u00a0Jager, T.,\u00a0Lauer, S.: 0-RTT key exchange with full forward secrecy. In: Advances in Cryptology \u2013 EUROCRYPT 2017, pp.\u00a0519\u2013548. Springer (2017)","DOI":"10.1007\/978-3-319-56617-7_18"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1914","DOI":"10.1007\/s00145-020-09360-1","volume":"33","author":"K Cohn-Gordon","year":"2020","unstructured":"Cohn-Gordon, K., Cremers, C., Dowling, B., Garratt, L., Stebila, D.: A formal security analysis of the signal messaging protocol. J. Cryptol. 33, 1914\u20131983 (2020)","journal-title":"J. Cryptol."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Cohn-Gordon, K.,\u00a0Cremers, C.,\u00a0Garratt, L.: On post-compromise security. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), pp.\u00a0164\u2013178. IEEE (2016)","DOI":"10.1109\/CSF.2016.19"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Barnes, R.,\u00a0Beurdouche, B.,\u00a0Robert, R.,\u00a0Millican, J.,\u00a0Omara, E.,\u00a0Cohn-Gordon, K.: The Messaging Layer Security (MLS) Protocol. RFC 9420 (2023)","DOI":"10.17487\/RFC9420"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Anastos, M., et al.: The cost of maintaining keys in dynamic groups with applications to multicast encryption and group messaging. In: Theory of Cryptography: 22nd International Conference, TCC 2024, pp.\u00a0413\u2013443. Springer (2024)","DOI":"10.1007\/978-3-031-78011-0_14"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Alwen, J., Coretti, S., Jost, D., Mularczyk, M.: Continuous group key agreement with active security. In: Theory of Cryptography: 18th International Conference. TCC 2020, pp. 261\u2013290. Springer, Heidelberg (2020)","DOI":"10.1007\/978-3-030-64378-2_10"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446 (2018)","DOI":"10.17487\/RFC8446"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Thomson, M.,\u00a0Turner, S.: Using TLS to secure QUIC. RFC 9001 (2021)","DOI":"10.17487\/RFC9001"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Brzuska, C.,\u00a0Cornelissen, E.,\u00a0Kohbrok, K.: Security analysis of the MLS key derivation, pp.\u00a02535\u20132553","DOI":"10.1109\/SP46214.2022.9833678"},{"key":"6_CR20","unstructured":"Cremers, C.,\u00a0Hale, B.,\u00a0Kohbrok, K.: The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter, pp.\u00a01847\u20131864 (2021)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Wallez, T.,\u00a0Protzenko, J.,\u00a0Bhargavan, K.: TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security (2025). Publication info: Preprint","DOI":"10.1109\/SP61157.2025.00228"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Cohn-Gordon, K.,\u00a0Cremers, C.,\u00a0Dowling, B.,\u00a0Garratt, L.,\u00a0Stebila, D.: A formal security analysis of the signal messaging protocol. In: 2017 IEEE European Symposium on Security and Privacy (EuroS&P), pp.\u00a0451\u2013466 (2017)","DOI":"10.1109\/EuroSP.2017.27"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Dowling, B.,\u00a0Hale, B.: Secure messaging authentication against active man-in-the-middle attacks. In: 2021 IEEE European Symposium on Security and Privacy (EuroS&P), pp.\u00a054\u201370 (2021)","DOI":"10.1109\/EuroSP51992.2021.00015"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Fiedler, R.,\u00a0G\u00fcnther, F.: Security analysis of signal\u2019s PQXDH handshake. In: Public-Key Cryptography \u2013 PKC 2025, pp.\u00a0137\u2013169. Springer (2025)","DOI":"10.1007\/978-3-031-91823-0_5"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Bienstock, A.,\u00a0Fairoze, J.,\u00a0Garg, S.,\u00a0Mukherjee, P.,\u00a0Raghuraman, S.: A more complete analysis of the signal double ratchet algorithm. In: Advances in Cryptology \u2013 CRYPTO 2022, pp.\u00a0784\u2013813. Springer (2022)","DOI":"10.1007\/978-3-031-15802-5_27"},{"key":"6_CR26","unstructured":"Dowling, B.,\u00a0Hale, B.: Authenticated continuous key agreement: active MitM detection and prevention. Cryptology ePrint Archive, Paper 2023\/228 (2023)"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Fischlin, M.,\u00a0G\u00fcnther, F.,\u00a0Janson, C.: Robust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3. J. Cryptol.\u00a037 (2024)","DOI":"10.1007\/s00145-023-09489-9"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Delignat-Lavaud, A.,\u00a0et al.: A security model and fully verified implementation for the IETF QUIC record layer. In: 2021 IEEE Symposium on Security and Privacy (SP), pp.\u00a01162\u20131178 (2021)","DOI":"10.1109\/SP40001.2021.00039"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Chen, S.,\u00a0Jero, S.,\u00a0Jagielski, M.,\u00a0Boldyreva, A.,\u00a0Nita-Rotaru, C.: Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC. J. Cryptol.\u00a034 (2021)","DOI":"10.1007\/s00145-021-09389-w"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Lychev, R.,\u00a0Jero, S.,\u00a0Boldyreva, A.,\u00a0Nita-Rotaru, C.: How secure and quick is QUIC? Provable security and performance analyses. In: 2015 IEEE Symposium on Security and Privacy, pp.\u00a0214\u2013231 (2015)","DOI":"10.1109\/SP.2015.21"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Beurdouche, B.,\u00a0Rescorla, E.,\u00a0Omara, E.,\u00a0Inguva, S.,\u00a0Duric, A.: The Messaging Layer Security (MLS) Architecture. RFC 9750 (2025)","DOI":"10.17487\/RFC9750"},{"key":"6_CR32","unstructured":"Robert, R.: The Messaging Layer Security (MLS) Extensions. Internet-Draft draft-ietf-mls-extensions-07, Internet Engineering Task Force (2025, Work in Progress)"},{"key":"6_CR33","unstructured":"Seemann, M.: quic-go (2025). https:\/\/pkg.go.dev\/github.com\/quic-go\/quic-go"},{"key":"6_CR34","unstructured":"Cisco Systems: go-mls (2021). https:\/\/pkg.go.dev\/github.com\/cisco\/go-mls"},{"key":"6_CR35","unstructured":"Google: crypto\/tls (2025). https:\/\/pkg.go.dev\/crypto\/tls"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Jager, T.,\u00a0Kohlar, F.,\u00a0Sch\u00e4ge, S.,\u00a0Schwenk, J.: On the security of TLS-DHE in the standard model. In: Annual Cryptology Conference, pp.\u00a0273\u2013293. Springer (2012)","DOI":"10.1007\/978-3-642-32009-5_17"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Jager, T.,\u00a0Kohlar, F.,\u00a0Sch\u00e4ge, S.,\u00a0Schwenk, J.: On the security of TLS-DHE in the standard model, pp.\u00a0273\u2013293","DOI":"10.1007\/978-3-642-32009-5_17"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Lychev, R.,\u00a0Jero, S.,\u00a0Boldyreva, A.,\u00a0Nita-Rotaru, C.: How secure and quick is quic? provable security and performance analyses. In: Proceedings of the 16th Annual Information Security Symposium, CERIAS 2015, (West Lafayette, IN), CERIAS - Purdue University (2015)","DOI":"10.1109\/SP.2015.21"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Fischlin, M.,\u00a0G\u00fcnther, F.: Multi-stage key exchange and the case of Google\u2019s QUIC protocol, pp.\u00a01193\u20131204","DOI":"10.1145\/2660267.2660308"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Bellare, M.,\u00a0Rogaway, P.: Entity authentication and key distribution, pp.\u00a0232\u2013249","DOI":"10.1007\/3-540-48329-2_21"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Dowling, B.,\u00a0R\u00f6sler, P.,\u00a0Schwenk, J.: Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework. In: Public-Key Cryptography \u2013 PKC 2020, pp.\u00a0341\u2013373. Springer (2020)","DOI":"10.1007\/978-3-030-45374-9_12"},{"key":"6_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-030-56784-2_9","volume-title":"Advances in Cryptology \u2013 CRYPTO 2020","author":"J Alwen","year":"2020","unstructured":"Alwen, J., Coretti, S., Dodis, Y., Tselekounis, Y.: Security Analysis and Improvements for the IETF MLS Standard for Group Messaging. In: Micciancio, D., Ristenpart, T. (eds.) CRYPTO 2020. LNCS, vol. 12170, pp. 248\u2013277. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-56784-2_9"}],"container-title":["Lecture Notes in Computer Science","Security Standardisation Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-19567-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T23:39:35Z","timestamp":1781566775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-19567-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032195661","9783032195678"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-19567-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Research in Security Standardisation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Passau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssr2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.uni-passau.de\/ssr2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}