{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T13:01:21Z","timestamp":1784638881939,"version":"3.55.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032325594","type":"print"},{"value":"9783032325600","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T00:00:00Z","timestamp":1784678400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T00:00:00Z","timestamp":1784678400000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-32560-0_15","type":"book-chapter","created":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T12:05:40Z","timestamp":1784635540000},"page":"415-443","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["How to\u00a0Kickstart $$\\mathcal {F}_{\\textrm{SMT}}^{S\\rightarrow R}$$ with\u00a0Short Authentication Strings and Out-of-Band Communication"],"prefix":"10.1007","author":[{"given":"Wasilij","family":"Beskorovajnov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00f6rn","family":"M\u00fcller-Quade","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,22]]},"reference":[{"key":"15_CR1","unstructured":"About imessage contact key verification (2023). https:\/\/support.apple.com\/en-us\/118246"},{"key":"15_CR2","unstructured":"Advancing imessage security: contact key verification (2023). https:\/\/security.apple.com\/blog\/imessage-contact-key-verification\/"},{"key":"15_CR3","unstructured":"How can i compare key fingerprints? (2024). https:\/\/support.wire.com\/hc\/en-us\/articles\/207692235-How-can-I-compare-key-fingerprints"},{"key":"15_CR4","unstructured":"Use contact key verification on iphone (2024). https:\/\/support.apple.com\/guide\/iphone\/use-contact-key-verification-iph654dd8c53\/ios"},{"key":"15_CR5","unstructured":"Telegram secret chats: end-to-end encryption (2025). https:\/\/core.telegram.org\/api\/end-to-end, key visualization and fingerprint details"},{"key":"15_CR6","unstructured":"Threema support: private FAQ (identity verification) (2025). https:\/\/threema.com\/en\/support\/private"},{"key":"15_CR7","unstructured":"What is the QR code good for? (2025). https:\/\/threema.com\/en\/faq\/qr-code-expl"},{"key":"15_CR8","unstructured":"Wire security & privacy (2025). https:\/\/wire.com\/en\/security"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Annual International Cryptology Conference, pp. 232\u2013249. Springer (1993)","DOI":"10.1007\/3-540-48329-2_21"},{"key":"15_CR10","doi-asserted-by":"publisher","unstructured":"Bellare, M., Rogaway, P.: Random oracles are practical: a paradigm for designing efficient protocols. In: ACM CCS, pp. 62\u201373 (1993). https:\/\/doi.org\/10.1145\/168588.168596","DOI":"10.1145\/168588.168596"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Benin, A., Toledo, S., Tromer, E.: Secure association for the internet of things. In: 2015 International Workshop on Secure Internet of Things (SIoT), pp. 25\u201334. IEEE (2015)","DOI":"10.1109\/SIOT.2015.14"},{"key":"15_CR12","unstructured":"Blum, M.: Coin flipping by telephone. In: CRYPTO 1981 (reprinted in SIGACT News, 1983) (1983), commit-then-open coin tossing"},{"key":"15_CR13","doi-asserted-by":"publisher","unstructured":"Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. In: 42nd FOCS, pp. 136\u2013145 (2001). https:\/\/doi.org\/10.1109\/SFCS.2001.959888","DOI":"10.1109\/SFCS.2001.959888"},{"issue":"5","key":"15_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3402457","volume":"67","author":"R Canetti","year":"2020","unstructured":"Canetti, R.: Universally composable security. J. ACM (JACM) 67(5), 1\u201394 (2020)","journal-title":"J. ACM (JACM)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Canetti, R., Fischlin, M.: Universally composable commitments. In: CRYPTO 2001. Springer (2001). UC commitments in CRS; enables UC coin-toss via commit$$\\oplus $$","DOI":"10.1007\/3-540-44647-8_2"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Canetti, R., Lindell, Y., Ostrovsky, R., Sahai, A.: Universally composable two-party and multi-party secure computation. In: STOC 2002 (2002), general UC framework; CRS-hybrid feasibility and building blocks","DOI":"10.1145\/509907.509980"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Cremers, C., Medinger, N., Naska, A.: Impossibility results for post-compromise security in real-world communication systems. In: 2025 IEEE Symposium on Security and Privacy (SP), pp. 4391\u20134405. IEEE (2025)","DOI":"10.1109\/SP61157.2025.00229"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Exchange, K.: Universally composable password-based. In: Advances in Cryptology-EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, 22\u201326 May 2005, Proceedings, vol.\u00a03494, p.\u00a0404. Springer (2005)","DOI":"10.1007\/11426639_24"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Goldberg, I., Mashatan, A., Stinson, D.R.: On message recognition protocols: recoverability and explicit confirmation. Int. J. Appl. Cryptogr. 2(4), 331\u2013346 (2010). https:\/\/doi.org\/10.1504\/IJACT.2010.038305. https:\/\/dl.acm.org\/doi\/10.1504\/IJACT.2010.038305","DOI":"10.1504\/IJACT.2010.038305"},{"key":"15_CR20","unstructured":"Haase, B., et al.: Cpace, a balanced composable pake (2025). https:\/\/datatracker.ietf.org\/doc\/draft-irtf-cfrg-cpace\/, internet-Draft, IRTF CFRG"},{"key":"15_CR21","doi-asserted-by":"publisher","unstructured":"Hammell, J., Weimerskirch, A., Gir\u00e3o, J., Westhoff, D.: Recognition in a low-power environment. In: Proceedings of the 25th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW\u201905) \u2014 Second International Workshop on Wireless Ad Hoc Networking (WWAN), pp. 933\u2013938. IEEE Computer Society, Columbus, OH, USA (2005). https:\/\/doi.org\/10.1109\/ICDCSW.2005.119","DOI":"10.1109\/ICDCSW.2005.119"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Jarecki, S., Saxena, N.: Authenticated key agreement with key re-use in the short authenticated strings model. In: International Conference on Security and Cryptography for Networks. LNCS, vol.\u00a06280, pp. 253\u2013270. Springer, Springer (2010). https:\/\/nsaxena.engr.tamu.edu\/wp-content\/uploads\/sites\/238\/2019\/12\/js-scn10.pdf","DOI":"10.1007\/978-3-642-15317-4_17"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Katz, J., Lindell, Y.: Introduction to Modern Cryptography, 3rd edn. CRC Press (2020)","DOI":"10.1201\/9781351133036"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Ladd, W.: Spake2, a password-authenticated key exchange (2023). https:\/\/www.rfc-editor.org\/rfc\/rfc9382, iRTF RFC 9382","DOI":"10.17487\/RFC9382"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Laur, S., Nyberg, K.: Efficient mutual data authentication using manually authenticated strings. In: Cryptology and Network Security: 5th International Conference, CANS 2006, Suzhou, China, 8\u201310 December 2006, Proceedings, vol.\u00a04301, pp. 90\u2013107. Springer (2006)","DOI":"10.1007\/11935070_6"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Laur, S., Nyberg, K.: Efficient mutual data authentication using manually authenticated strings (extended version). Technical report 2005\/424, IACR ePrint (2006). https:\/\/kodu.ut.ee\/~swen\/publications\/articles\/laur-nyberg-2006.pdf","DOI":"10.1007\/11935070_6"},{"key":"15_CR27","doi-asserted-by":"publisher","unstructured":"Laur, S., Pasini, S.: SAS-based group authentication and key agreement protocols. In: PKC 2008. LNCS, vol.\u00a04939, pp. 197\u2013213. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-78440-1_12. https:\/\/iacr.org\/archive\/pkc2008\/49390198\/49390198.pdf","DOI":"10.1007\/978-3-540-78440-1_12"},{"issue":"1\u20132","key":"15_CR28","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1504\/IJSN.2009.023427","volume":"4","author":"S Laur","year":"2009","unstructured":"Laur, S., Pasini, S.: User-aided data authentication. Int. J. Secure. Network. 4(1\u20132), 69\u201386 (2009)","journal-title":"Int. J. Secure. Network."},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Mashatan, A., Vaudenay, S.: A message recognition protocol based on standard assumptions. In: ACNS 2010. LNCS, vol.\u00a06123, pp. 384\u2013401. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-13708-2_23. https:\/\/infoscience.epfl.ch\/record\/148699\/files\/MRP_ACNS10.pdf","DOI":"10.1007\/978-3-642-13708-2_23"},{"key":"15_CR30","unstructured":"Matrix.org: Implementing more advanced E2EE features (SAS emoji\/numbers) (2024). https:\/\/matrix.org\/docs\/guides\/implementing-more-advanced-e-2-ee-features-such-as-cross-signing\/. Accessed 03 Sept 2025"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Pasini, S., Vaudenay, S.: An optimal non-interactive message authentication protocol. In: CT-RSA 2006. LNCS, vol.\u00a03860, pp. 280\u2013296. Springer (2006). https:\/\/doi.org\/10.1007\/11605805_18. https:\/\/link.springer.com\/chapter\/10.1007\/11605805_18","DOI":"10.1007\/11605805_18"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Pasini, S., Vaudenay, S.: SAS-based authenticated key agreement. In: International Workshop on Public Key Cryptography, pp. 395\u2013409. Springer (2006)","DOI":"10.1007\/11745853_26"},{"key":"15_CR33","unstructured":"Signal Messenger: What is a safety number and why do i see that it changed? (2024). https:\/\/support.signal.org\/hc\/en-us\/articles\/360007060632. Accessed 03 Sept 2025"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Vaudenay, S.: Secure communications over insecure channels based on short authenticated strings. In: Advances in Cryptology \u2013 CRYPTO 2005. Lecture Notes in Computer Science, vol.\u00a03621, pp. 309\u2013326. Springer (2005)","DOI":"10.1007\/11535218_19"},{"key":"15_CR35","unstructured":"WhatsApp: About security code change notifications (2024). https:\/\/faq.whatsapp.com\/1524220618005378. Accessed 03 Sept 2025"},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Zimmermann, P.R., Johnston, A., Callas, J.: ZRTP: media path key agreement for unicast secure RTP. RFC 6189 (2011). https:\/\/datatracker.ietf.org\/doc\/html\/rfc6189","DOI":"10.17487\/rfc6189"}],"container-title":["Lecture Notes in Computer Science","Applied Cryptography and Network Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-32560-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T12:05:49Z","timestamp":1784635549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-32560-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,22]]},"ISBN":["9783032325594","9783032325600"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-32560-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,22]]},"assertion":[{"value":"22 July 2026","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":"Stony Brook, WI","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"acns2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/acns2026.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}