formally specified & verified implementation of eLyKseeR in Coq / OCaml
-
Updated
Jul 25, 2024 - OCaml
formally specified & verified implementation of eLyKseeR in Coq / OCaml
base library that provides cryptographic functions to elykseer implementations
documentation effort
eLyKseeR basis in C++
Add a description, image, and links to the elykseer topic page so that developers can more easily learn about it.
To associate your repository with the elykseer topic, visit your repo's landing page and select "manage topics."