Enrico Steffinlongo

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

C Bounded Model Checker

Abstract interval library

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.