forked from BenJam/proofs
-
Notifications
You must be signed in to change notification settings - Fork 0
Proofs of multi-party non-repudiation protocols in ProVerif
License
m3anid/proverif
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Cryptographic proofs for the two-part Wang and Multi-party Baum-Waidner contract singing protocols. Additionally a number of short, introductory proofs of common cryptographic protocols to aid in learning the syntax of proverif. Findings are available in my thesis 'Protocol Verification' available from the University of Birmingham, Computer Science Dept. See the following for more information: Proverif http://www.proverif.ens.fr/
About
Proofs of multi-party non-repudiation protocols in ProVerif
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published