{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T23:07:12Z","timestamp":1779059232409,"version":"3.51.4"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032200174","type":"print"},{"value":"9783032200181","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-20018-1_11","type":"book-chapter","created":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T22:47:05Z","timestamp":1779058025000},"page":"195-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Provable Models to\u00a0Provable Implementations: Translating Alice & Bob Security Protocols to\u00a0F*"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1207-216X","authenticated-orcid":false,"given":"R\u00e9mi","family":"Garcia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2523-1847","authenticated-orcid":false,"given":"Paolo","family":"Modesti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9661-563X","authenticated-orcid":false,"given":"Leo","family":"Freitas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the spi calculus. In: CCS \u201997, Proceedings of the 4th ACM Conference on Computer and Communications Security, Zurich, Switzerland, April 1\u20134, 1997, pp. 36\u201347. ACM (1997). https:\/\/doi.org\/10.1145\/266420.266432","DOI":"10.1145\/266420.266432"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Aizatulin, M., Gordon, A.D., J\u00fcrjens, J.: Extracting and verifying cryptographic models from C protocol code by symbolic execution. In: Chen, Y., Danezis, G., Shmatikov, V. (eds.) Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17\u201321, 2011, pp. 331\u2013340. ACM (2011). https:\/\/doi.org\/10.1145\/2046707.2046745","DOI":"10.1145\/2046707.2046745"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Almousa, O., M\u00f6dersheim, S., Vigan\u00f2, L.: Alice and Bob: reconciling formal models and implementation. In: Bodei, C., Ferrari, G., Priami, C. (eds.) Programming Languages with Applications to Biology and Security\u2014Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol.\u00a09465, pp. 66\u201385. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-25527-9_7","DOI":"10.1007\/978-3-319-25527-9_7"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Arquint, L., Wolf, F.A., Lallemand, J., Sasse, R., Sprenger, C., Wiesner, S.N., Basin, D.A., M\u00fcller, P.: Sound verification of security protocols: from design to interoperable implementations. In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21\u201325, 2023, pp. 1077\u20131093. IEEE (2023). https:\/\/doi.org\/10.1109\/SP46215.2023.10179325","DOI":"10.1109\/SP46215.2023.10179325"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Avalle, M., Pironti, A., Pozza, D., Sisto, R.: JavaSPI: a framework for security protocol implementation. Int. J. Secur. Softw. Eng. 2(4), 34\u201348 (2011). https:\/\/doi.org\/10.4018\/jsse.2011100103","DOI":"10.4018\/jsse.2011100103"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: a symbolic model checker for security protocols. Int. J. Inf. Secur. 4(3), 181\u2013208 (2005). https:\/\/doi.org\/10.1007\/s10207-004-0055-7","DOI":"10.1007\/s10207-004-0055-7"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Bhargavan, K., Bichhawat, A., Do, Q.H., Hosseyni, P., K\u00fcsters, R., Schmitz, G., W\u00fcrtele, T.: DY*: a modular symbolic verification framework for executable cryptographic protocol code. In: IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6\u201310, 2021, pp. 523\u2013542. IEEE (2021). https:\/\/doi.org\/10.1109\/EUROSP51992.2021.00042","DOI":"10.1109\/EUROSP51992.2021.00042"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Tse, S.: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. (TOPLAS) 31(1), 5 (2008). https:\/\/doi.org\/10.1145\/1452044.1452049","DOI":"10.1145\/1452044.1452049"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Hansen, L.L., Kiefer, F., Schneider-Bensch, J., Spitters, B.: Formal security and functional verification of cryptographic protocol implementations in rust. IACR Cryptol. ePrint Arch. p. 980 (2025). https:\/\/eprint.iacr.org\/2025\/980","DOI":"10.1145\/3719027.3765213"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Black, J.: Authenticated encryption. In: van Tilborg, H.C.A. (ed.) Encyclopedia of Cryptography and Security. Springer (2005). https:\/\/doi.org\/10.1007\/0-387-23483-7_15","DOI":"10.1007\/0-387-23483-7_15"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TDSC.2007.1005","volume":"5","author":"B Blanchet","year":"2008","unstructured":"Blanchet, B.: A computationally sound mechanized prover for security protocols. IEEE Trans. Dependable Secure Comput. 5(4), 193\u2013207 (2008). https:\/\/doi.org\/10.1109\/TDSC.2007.1005","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Blanchet, B., et al.: Modeling and verifying security protocols with the applied pi calculus and proVerif. Found. Trends Priv. Secur. 1(1\u20132), 1\u2013135 (2016). https:\/\/doi.org\/10.1561\/9781680832075","DOI":"10.1561\/9781680832075"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Bugliesi, M., Calzavara, S., M\u00f6dersheim, S., Modesti, P.: Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30, 46\u201363 (2016). https:\/\/doi.org\/10.1016\/j.jisa.2016.05.004","DOI":"10.1016\/j.jisa.2016.05.004"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18\u201336 (1990). https:\/\/doi.org\/10.1145\/77648.77649","journal-title":"ACM Trans. Comput. Syst."},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.3233\/JCS-150524","volume":"23","author":"D Cad\u00e9","year":"2015","unstructured":"Cad\u00e9, D., Blanchet, B.: Proved generation of implementations from computationally secure protocol specifications. J. Comput. Secur. 23(3), 331\u2013402 (2015). https:\/\/doi.org\/10.3233\/JCS-150524","journal-title":"J. Comput. Secur."},{"key":"11_CR16","unstructured":"Cassidy, S.: Existential type crisis: diagnosis of the OpenSSL Heartbleed Bug (2014). http:\/\/blog.existentialize.com\/diagnosis-of-the-openssl-heartbleed-bug.html"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Chaki, S., Datta, A.: ASPIER: an automated framework for verifying security protocol implementations. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8\u201310, 2009, pp. 172\u2013185. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/CSF.2009.20","DOI":"10.1109\/CSF.2009.20"},{"key":"11_CR18","unstructured":"Clover, S.: HStringTemplate. http:\/\/www.haskell.org\/haskellwiki\/HStringTemplate. Accessed 04 Dec 2025"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) Software Engineering and Formal Methods\u201410th International Conference, SEFM 2012, Thessaloniki, Greece, October 1\u20135, 2012, Proceedings. Lecture Notes in Computer Science, vol. 7504, pp. 233\u2013247. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-33826-7_16","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Delignat-Lavaud, A., Fournet, C., Kohlweiss, M., Protzenko, J., Rastogi, A., Swamy, N., B\u00e9guelin, S.Z., Bhargavan, K., Pan, J., Zinzindohoue, J.K.: Implementing and proving the TLS 1.3 record layer. In: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22\u201326, 2017, pp. 463\u2013482. IEEE Computer Society (2017).https:\/\/doi.org\/10.1109\/SP.2017.58","DOI":"10.1109\/SP.2017.58"},{"issue":"8","key":"11_CR21","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"DE Denning","year":"1981","unstructured":"Denning, D.E., Sacco, G.M.: Timestamps in key distribution protocols. Commun. ACM 24(8), 533\u2013536 (1981). https:\/\/doi.org\/10.1145\/358722.358740","journal-title":"Commun. ACM"},{"issue":"6","key":"11_CR22","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.: New directions in cryptography. IEEE Trans. Inf. Theory 22(6), 644\u2013654 (1976). https:\/\/doi.org\/10.1109\/TIT.1976.1055638","journal-title":"IEEE Trans. Inf. Theory"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Trans. Inf. Theory 2(29), (1983). https:\/\/doi.org\/10.1109\/tit.1983.1056650","DOI":"10.1109\/tit.1983.1056650"},{"issue":"5","key":"11_CR24","doi-asserted-by":"publisher","first-page":"823","DOI":"10.3233\/JCS-140508","volume":"22","author":"F Dupressoir","year":"2014","unstructured":"Dupressoir, F., Gordon, A.D., J\u00fcrjens, J., Naumann, D.A.: Guiding a general-purpose C verifier to prove cryptographic protocols. J. Comput. Secur. 22(5), 823\u2013866 (2014). https:\/\/doi.org\/10.3233\/JCS-140508","journal-title":"J. Comput. Secur."},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Garavel, H., ter Beek, M.H., van\u00a0de Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Nickovic, D. (eds.) Formal Methods for Industrial Critical Systems\u201425th International Conference, FMICS 2020, Vienna, Austria, September 2\u20133, 2020. Proceedings. Lecture Notes in Computer Science, vol. 12327, pp. 3\u201369. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1","DOI":"10.1007\/978-3-030-58298-2_1"},{"key":"11_CR26","doi-asserted-by":"publisher","unstructured":"Garcia, R., Modesti, P.: A practical approach to formal methods: an Eclipse Integrated Development Environment (IDE) for security protocols. Electronics 13(23), (2024). https:\/\/doi.org\/10.3390\/electronics13234660","DOI":"10.3390\/electronics13234660"},{"key":"11_CR27","doi-asserted-by":"publisher","unstructured":"Hess, A.V., M\u00f6dersheim, S., Brucker, A.D., Schlichtkrull, A.: Performing security proofs of stateful protocols. In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21\u201325, 2021, pp. 1\u201316. IEEE (2021). https:\/\/doi.org\/10.1109\/CSF51468.2021.00006","DOI":"10.1109\/CSF51468.2021.00006"},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Ho, S., Protzenko, J., Bichhawat, A., Bhargavan, K.: Noise*: a library of verified high-performance secure channel protocol implementations. In: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22\u201326, 2022, pp. 107\u2013124. IEEE (2022). https:\/\/doi.org\/10.1109\/SP46214.2022.9833621","DOI":"10.1109\/SP46214.2022.9833621"},{"key":"11_CR29","unstructured":"International Organization for Standardization, Gen\u00e8ve, Switzerland: ISO\/IEC 9798-4:1999, Information technology\u2014Security techniques\u2014Entity Authentication\u2014Part 3: Mechanisms using a cryptographic check function, 2nd edn. (1999)"},{"key":"11_CR30","unstructured":"International Organization for Standardization, Gen\u00e8ve, Switzerland: ISO\/IEC 9798-2:2008, Information technology\u2014Security techniques\u2014Entity Authentication\u2014Part 2: Mechanisms using symmetric encipherment algorithms, 3rd edn. (2008)"},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"Leino, K.R.M.: Dafny: an automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning\u201316th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a06355, pp. 348\u2013370. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-17511-4_20","DOI":"10.1007\/978-3-642-17511-4_20"},{"issue":"3","key":"11_CR32","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131\u2013133 (1995). https:\/\/doi.org\/10.1016\/0020-0190(95)00144-2","journal-title":"Inf. Process. Lett."},{"key":"11_CR33","doi-asserted-by":"publisher","unstructured":"Lowe, G.: Some new attacks upon security protocols. In: 9th IEEE Computer Security Foundations Workshop, March 10\u201312, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 162\u2013169. IEEE Computer Society (1996). https:\/\/doi.org\/10.1109\/CSFW.1996.503701","DOI":"10.1109\/CSFW.1996.503701"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: CSFW\u201997, pp. 31\u201343. IEEE Computer Society Press (1997)","DOI":"10.1109\/CSFW.1997.596782"},{"key":"11_CR35","doi-asserted-by":"publisher","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.A.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification\u201425th International Conference, CAV 2013, Saint Petersburg, Russia, July 13\u201319, 2013. Proceedings. Lecture Notes in Computer Science, vol.\u00a08044, pp. 696\u2013701. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"11_CR36","doi-asserted-by":"publisher","unstructured":"M\u00f6dersheim, S.: Algebraic properties in Alice and Bob notation. In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16\u201319, 2009, Fukuoka, Japan, pp. 433\u2013440. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/ARES.2009.95","DOI":"10.1109\/ARES.2009.95"},{"key":"11_CR37","unstructured":"Modesti, P.: AnBx: automatic generation and verification of security protocols implementations. In: Garc\u00eda-Alfaro, J., Kranakis, E., Bonfante, G. (eds.) Foundations and Practice of Security\u20148th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26\u201328, 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a09482, pp. 156\u2013173. Springer (2015). 10.1007\/978-3-319-30303-1_10"},{"key":"11_CR38","doi-asserted-by":"publisher","unstructured":"Molina, F., Ponzio, P., Aguirre, N., Frias, M.F.: Evospex: an evolutionary algorithm for learning postconditions. In: 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22\u201330 May 2021, pp. 1223\u20131235. IEEE (2021). https:\/\/doi.org\/10.1109\/ICSE43902.2021.00112","DOI":"10.1109\/ICSE43902.2021.00112"},{"key":"11_CR39","doi-asserted-by":"publisher","unstructured":"de\u00a0Moura, L.M., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science, vol.\u00a04963, pp. 337\u2013340. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL\u2014A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"11_CR41","doi-asserted-by":"publisher","unstructured":"Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446 (Aug 2018). https:\/\/doi.org\/10.17487\/RFC8446. https:\/\/www.rfc-editor.org\/info\/rfc8446","DOI":"10.17487\/RFC8446"},{"key":"11_CR42","doi-asserted-by":"publisher","unstructured":"Sprenger, C., Klenze, T., Eilers, M., Wolf, F.A., M\u00fcller, P., Clochard, M., Basin, D.A.: Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4(OOPSLA), 152:1\u2013152:31 (2020). https:\/\/doi.org\/10.1145\/3428220","DOI":"10.1145\/3428220"},{"issue":"4","key":"11_CR43","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1017\/S0956796813000142","volume":"23","author":"N Swamy","year":"2013","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P., Bhargavan, K., Yang, J.: Secure distributed programming with value-dependent types. J. Funct. Program. 23(4), 402\u2013451 (2013). https:\/\/doi.org\/10.1017\/S0956796813000142","journal-title":"J. Funct. Program."},{"key":"11_CR44","doi-asserted-by":"publisher","unstructured":"Swamy, N., Hritcu, C., Keller, C., Rastogi, A., Delignat-Lavaud, A., Forest, S., Bhargavan, K., Fournet, C., Strub, P., Kohlweiss, M., Zinzindohoue, J.K., B\u00e9guelin, S.Z.: Dependent types and multi-monadic effects in F. In: Bod\u00edk, R., Majumdar, R. (eds.) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20\u201322, 2016, pp. 256\u2013270. ACM (2016). https:\/\/doi.org\/10.1145\/2837614.2837655","DOI":"10.1145\/2837614.2837655"},{"key":"11_CR45","doi-asserted-by":"publisher","unstructured":"Wallez, T., Protzenko, J., Bhargavan, K.: Comparse: provably secure formats for cryptographic protocols. In: Meng, W., Jensen, C.D., Cremers, C., Kirda, E. (eds.) Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26\u201330, 2023, pp. 564\u2013578. ACM (2023). https:\/\/doi.org\/10.1145\/3576915.3623201","DOI":"10.1145\/3576915.3623201"},{"key":"11_CR46","volume-title":"The Official PGP User\u2019s Guide","author":"PR Zimmermann","year":"1995","unstructured":"Zimmermann, P.R.: The Official PGP User\u2019s Guide. MIT Press, Cambridge, MA, USA (1995)"},{"key":"11_CR47","doi-asserted-by":"publisher","unstructured":"Zinzindohou\u00e9, J.K., Bhargavan, K., Protzenko, J., Beurdouche, B.: Hacl*: a verified modern cryptographic library. In: Thuraisingham, B., Evans, D., Malkin, T., Xu, D. (eds.) Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30\u2013November 03, 2017, pp. 1789\u20131806. ACM (2017). https:\/\/doi.org\/10.1145\/3133956.3134043","DOI":"10.1145\/3133956.3134043"}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-20018-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T22:47:08Z","timestamp":1779058028000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-20018-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032200174","9783032200181"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-20018-1_11","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":"FPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations and Practice of Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"25 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fps2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/hub.imt-atlantique.fr\/fps2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}