{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T19:20:59Z","timestamp":1761333659747,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032018229"},{"type":"electronic","value":"9783032018236"}],"license":[{"start":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T00:00:00Z","timestamp":1761350400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T00:00:00Z","timestamp":1761350400000},"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-01823-6_18","type":"book-chapter","created":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T19:14:29Z","timestamp":1761333269000},"page":"218-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Security Proof Techniques for\u00a0QKD and\u00a0Applications to\u00a0Critical Infrastructures"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5522-6530","authenticated-orcid":false,"given":"Meret","family":"Kristen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7727-2448","authenticated-orcid":false,"given":"J\u00fcrgen","family":"Mottok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,25]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Michael Ben-Or, et al.: The universal composable security of quantum key distribution. In: Kilian, J., (ed.) Theory of Cryptography, pp. 386\u2013406. Springer Berlin Heidelberg, Heidelberg (2005)","DOI":"10.1007\/978-3-540-30576-7_21"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bindel, N., et al.: Transitioning to a quantum-resistant public key infrastructure. In: Post-Quantum Cryptography, Springer International Publishing, Cham (2017)","DOI":"10.1007\/978-3-319-59879-6_22"},{"key":"18_CR3","unstructured":"BSI. BSI TR-02102-1 Kryptographische Verfahren: Empfehlungen und Schl\u00fcssell\u00e4ngen (2024)"},{"key":"18_CR4","unstructured":"BSI. Implementation Attacks against QKD Systems (2023). https:\/\/www.bsi.bund.de\/SharedDocs\/Downloads\/EN\/BSI\/Publications\/Studies\/QKD-Systems\/QKD-Systems.pdf?__blob=publicationFile&v=3"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Christandl, M., K\u00f6nig, R., Renner, R.: Postselection technique for quantum channels with applications to quantum cryptography. Phys. Rev. Lett. (2009)","DOI":"10.1103\/PhysRevLett.102.020504"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Dowling, B., Hansen, T.B., Paterson, K.G.: Many a mickle makes a muckle: a framework for provably quantum- secure hybrid key exchange. In: Post-Quantum Cryptography. Springer International Publishing (2020)","DOI":"10.1007\/978-3-030-44223-1_26"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Garcia, C.R., et al.: Quantum-resistant TLS 1.3: a hybrid solution combining classical, quantum and post-quantum cryptography. In: 2023 IEEE 28th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD) (2023)","DOI":"10.1109\/CAMAD59638.2023.10478407"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Garcia-Callejo, A., et al.: A review on continuous-variable quantum key distribution security. In: Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2022). Springer International Publishing (2023)","DOI":"10.1007\/978-3-031-21333-5_107"},{"key":"18_CR9","unstructured":"Huang, A., et al.: Quantum key distribution with distinguishable decoy states. Phys. Rev. A ()"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Huang, L., Feng, K., Xie, C.: A practical hybrid quantumsafe cryptographic scheme between data centers. In: Emerging Imaging and Sensing Technologies for Security and Defence V; and Advanced Manufacturing Technologies for Micro- and Nanosystems in Security and Defence III. Vol. 11540. International Society for Optics and Photonics (2020)","DOI":"10.1117\/12.2573558"},{"key":"18_CR11","unstructured":"Koashi, M.: Simple security proof of quantum key distribution via uncertainty principle (2005). https:\/\/arxiv.org\/abs\/quant-ph\/0505108"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Mosca, M., Stebila, D., Ustao\u011flu, B.: Quantum key distribution in the classical authenticated key exchange framework. In: Post-Quantum Cryptography, Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38616-9_9"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Portmann, C., Renner, R.: Security in quantum cryptography. Rev. Mod. Phys. (2022)","DOI":"10.1103\/RevModPhys.94.025008"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Primaatmaja, I.W., et al.: Security of device-independent quantum key distribution protocols: a review. In: Quantum (2023)","DOI":"10.22331\/q-2023-03-02-932"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Renner, R., K\u00f6nig, R.: Universally composable privacy amplification against quantum adversaries. In: Kilian, J., (ed.) Theory of Cryptography, pp. 407\u2013425. Springer Berlin Heidelberg, Heidelberg (2005)","DOI":"10.1007\/978-3-540-30576-7_22"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Shor, P.W., Preskill, J.: Simple proof of security of the BB84 quantum key distribution protocol. Phys. Rev. Lett. (2000)","DOI":"10.1103\/PhysRevLett.85.441"},{"key":"18_CR17","unstructured":"Stebila, D., Fluhrer, S., Gueron, S.: Hybrid key exchange in TLS 1.3. Internet-Draft (2024)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Tomamichel, M., Leverrier, A.: A largely self-contained and complete security proof for quantum key distribution. In: Quantum (2017)","DOI":"10.22331\/q-2017-07-14-14"}],"container-title":["Lecture Notes in Computer Science","Applied Cryptography and Network Security Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01823-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T19:14:32Z","timestamp":1761333272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01823-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,25]]},"ISBN":["9783032018229","9783032018236"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01823-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,25]]},"assertion":[{"value":"25 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACNS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applied Cryptography and Network Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","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":"23 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"acns2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/acns2025.fordaysec.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}