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