Securify
A tool to verify secrecy for cryptographic protocols.
[ Homepage ]
| Author: | Véronique Cortier. |
| Last modification date: | 25-Sep-2003 |
| Development status: | Stable |
| Kind: | Applications written in Caml :: Scientific software |
| Topic: | Science :: Cryptography |
| Homepage: | http://www.lsv.ens-cachan.fr/~cortier/EVA/eva-comp.php |