GitHub / Davetbutler / formalising-mpc-isabelle

Formalisation of MPC in Isabelle/HOL

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Davetbutler%2Fformalising-mpc-isabelle
PURL: pkg:github/Davetbutler/formalising-mpc-isabelle

Stars: 1
Forks: 1
Open issues: 3

License: mit
Language: Isabelle
Size: 55.7 KB
Dependencies parsed at: Pending

Created at: over 4 years ago
Updated at: about 2 years ago
Pushed at: about 3 years ago
Last synced at: about 2 years ago

Topics: cryptography, formal-methods, formal-verification, isabelle-hol, multi-party-computation

Loading...