Skip to content
Find file Normal view History Permalink
CHANGELOG 52 B
Newer Older
Luker's avatar
Proofs and little description
Luker committed
1 2 3 

* added proverif proofs, both test and final ones