LSV Security Protocols Open Repository EVA LSV
Protocols format
How to submit
Contact us
Search the pages


March 06, 2003

New protocol submitted by Thomas Genet: SmartRight view-only, a part of the SmartRight system designed by Thomson for copy protection for the Digital Video Broadcasting technology.

January 17, 2003

New protocol SK3, a smard card based session key distribution protocol, from Victor Shoup and Avi D. Rubin.

January 17, 2003

Another (claimed) attack on TMN, based on algebraic assumptions on the method used for the protocol implementation, published by Gustavus J. Simmons and submitted by Ralf Treinen.

January 16, 2003

New protocol submitted by Michael Roe: the CAM protocol for Mobile IP, which was published in the April 2001 issue of Computer Communications Review.

December, 2 2002

New protocols: KSL and Lowe modified KSL.

November, 21 2002

IMPORTANT NEWS! New URL:, and also new name, new logo...

November, 20 2002

Comments added to Wide Mouthed Frog, Lowe modified Wide Mouthed Frog.

November, 18 2002

Following suggestions of Martin Abadi, the section title Attack has been renamed to Claimed attacks. Also, Proofs becomes Claimed proofs. We want to insist on the fact that we do not check the correctness of the claims presented, we are just trying to cite them accurately. See this important remark for more information.

November, 15 2002

Opening of the first version of the library. It contains 41 protocols and variants, most of them taken from the Clark and Jacob survey.

This document was translated from LATEX by HEVEA.