Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi. Modeling and Verification of the Worth-One-Minute Security Protocols. In Michele Loreti, Luca Spalazzi, editors, Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020. Volume 2597 of CEUR Workshop Proceedings, pages 24-35, CEUR-WS.org, 2020. [doi]
Abstract is missing.