https://github.com/skulltech/formal-security-analysis-assignments
Formal security analysis course taught by Karthikeyan Bhargavan at IIT Delhi
https://github.com/skulltech/formal-security-analysis-assignments
Last synced: 5 months ago
JSON representation
Formal security analysis course taught by Karthikeyan Bhargavan at IIT Delhi
- Host: GitHub
- URL: https://github.com/skulltech/formal-security-analysis-assignments
- Owner: skulltech
- Created: 2021-05-27T18:29:31.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2021-05-27T18:30:21.000Z (about 5 years ago)
- Last Synced: 2025-07-28T09:37:24.663Z (11 months ago)
- Size: 3.91 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# PROVERIF EXAMPLES
This directory contains some example ProVerif files.
## Verifying the Examples
You need to first download ProVerif from:
https://prosecco.gforge.inria.fr/personal/bblanche/proverif/
You can either download the binary version or compiler it from source.
In either case you will have an executable file called "proverif" which
you can copy to this folder or add to your PATH.
To verify each file, execute:
proverif
This will display the result of analysis.
To filter out all details except the main results, execute:
proverif | grep ^RESULT
## FILES
Here are the files in this folder:
- NS-PK.pv: the original Needham-Schroeder Public-Key Protocol (with attack)
- NSL-PK.pv: the fixed Needham-Schroeder-Lowe Public-Key Protocol
- RPC.pv: EXERCISE - model and verify a Secure RPC Protocol