Talk:CryptoVerif

The content is based on the project webpage but to the best of my knowledge it does not contain copyrighted material. I am not affiliated with the cryptoverif author. 94.245.127.15 (talk) 12:09, 29 November 2011 (UTC)