https://github.com/mortendahl/secver
Abstract models of cryptographic protocols in Applied-Pi
https://github.com/mortendahl/secver
Last synced: about 1 month ago
JSON representation
Abstract models of cryptographic protocols in Applied-Pi
- Host: GitHub
- URL: https://github.com/mortendahl/secver
- Owner: mortendahl
- Created: 2014-03-21T09:29:32.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2014-11-13T23:20:28.000Z (over 10 years ago)
- Last Synced: 2025-02-10T02:37:09.810Z (3 months ago)
- Language: OCaml
- Homepage:
- Size: 152 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: