Lucas Perin
lucasperin
No bio provided.
elgamal_sequences_experiments
No description provided.
PythonUpdated 2/1/2023
munit
µnit is a small testing framework for C
Updated 2/21/2022
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
Updated 1/20/2022
elgamal-sequences-talk
No description provided.
TeXUpdated 8/5/2021
lucasperin.github.io
My homepage :)
HTMLUpdated 11/9/2019