Pinned Repositories
cryptoline
jasmin
Jasmin compiler
kyber
libsnark
libsnark: a C++ library for zkSNARK proofs
libsnark-supercop
Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.
mbbarbosa
Config files for my GitHub profile.
mlkem-libjade
orthoginalityfe
Code for paper "Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality" published at CT-RSA 2019
Saber-Formal-Verification-EasyCrypt
Repository accompanying the paper "Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt".
libsnark
C++ library for zkSNARKs
mbbarbosa's Repositories
mbbarbosa/libsnark-supercop
Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.
mbbarbosa/orthoginalityfe
Code for paper "Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality" published at CT-RSA 2019
mbbarbosa/cryptoline
mbbarbosa/jasmin
Jasmin compiler
mbbarbosa/kyber
mbbarbosa/libsnark
libsnark: a C++ library for zkSNARK proofs
mbbarbosa/mbbarbosa
Config files for my GitHub profile.
mbbarbosa/mlkem-libjade
mbbarbosa/Saber-Formal-Verification-EasyCrypt
Repository accompanying the paper "Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt".