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]
@inproceedings{AldiniBDKR20,
title = {Modeling and Verification of the Worth-One-Minute Security Protocols},
author = {Alessandro Aldini and Alessandro Bogliolo and Saverio Delpriori and Lorenz Cuno Klopfenstein and Giorgia Remedi},
year = {2020},
url = {http://ceur-ws.org/Vol-2597/paper-03.pdf},
researchr = {https://researchr.org/publication/AldiniBDKR20},
cites = {0},
citedby = {0},
pages = {24-35},
booktitle = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020},
editor = {Michele Loreti and Luca Spalazzi},
volume = {2597},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}