Pinned Repositories
cbmc
C Bounded Model Checker
AESEncrypter
A encrypter for files and words using AES cypher. It also encrypt the name of the file and decrypt with the original one.
cbmc
C Bounded Model Checker
ci_tests
A simple project to test many CI solutions
esteffin
HElib
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
hoare_wlp_fstar
lib_intervals
Abstract interval library
PrivilegeSeparationMasterThesis
HElib
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
esteffin's Repositories
esteffin/cbmc
C Bounded Model Checker
esteffin/hoare_wlp_fstar
esteffin/AESEncrypter
A encrypter for files and words using AES cypher. It also encrypt the name of the file and decrypt with the original one.
esteffin/ci_tests
A simple project to test many CI solutions
esteffin/esteffin
esteffin/HElib
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
esteffin/lib_intervals
Abstract interval library
esteffin/PrivilegeSeparationMasterThesis