Modeling and Verification of the Worth-One-Minute Security Protocols. - Alessandro Aldini; Alessandro Bogliolo; Saverio Delpriori; Lorenz Cuno Klopfenstein; Giorgia Remedi (ITASEC, 2020)