Jump to content

Talk:CryptoVerif

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]