04 code

Source code

The code for eLyKseeR is organised in a few repositories on Github.

Alexander Diemand

• 2 min read

The code for eLyKseeR is organised in a few repositories:

elykseer-crypto

GitHub - eLyKseeR/elykseer-crypto: base library that provides cryptographic functions to elykseer implementations
base library that provides cryptographic functions to elykseer implementations - eLyKseeR/elykseer-crypto
GitHubeLyKseeR

This library provides implementations for the cryptographic primitives that we require. It is written in C++ and interfaces with Crypto++ or OpenSSL.

The library provides bindings for languages: C, C#, OCaml.

elykseer-ml

GitHub - eLyKseeR/elykseer-ml: formally specified & verified implementation of eLyKseeR in Coq / OCaml
formally specified & verified implementation of eLyKseeR in Coq / OCaml - eLyKseeR/elykseer-ml
GitHubeLyKseeR

This repository hosts the formal specification of the eLyKseeR software in Coq/Rocq. Source code is extracted to OCaml and command line tools are built as reference implementations.

elykseer-cpp

GitHub - eLyKseeR/elykseer-cpp: eLyKseeR basis in C++
eLyKseeR basis in C++. Contribute to eLyKseeR/elykseer-cpp development by creating an account on GitHub.
GitHubeLyKseeR

Based on the library elykseer-crypto this code implements the formally specified eLyKseeR software (elykseer-ml) in C++.