Formal verification of elliptic curve cryptography using Lean (mathematics) and Coq (monadic cryptographic modeling)
xuanYang/LeanCryptographyProof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Formal verification of elliptic curve cryptography using Lean (mathematics) and Coq (monadic cryptographic modeling)