Antonio Durante, Riccardo Focardi, Roberto Gorrieri. CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. In Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack, editors, Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001, Proceedings. Volume 2052 of Lecture Notes in Computer Science, pages 287-299, Springer, 2001. [doi]