04 code - eLyKseeR cryptographic data archive

04 code

A collection of 2 posts

Source code

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

Formal verification

Formal verification

About formal specification of software in Coq/Rocq.