IBM-HElib / HElibLinks
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.
☆22Updated 4 years ago
Alternatives and similar repositories for HElib
Users that are interested in HElib are comparing it to the libraries listed below
Sorting:
- Encryption Algorithm Combined☆32Updated 9 years ago
- White-box analytic framework based on LLVM☆39Updated 6 years ago
- binary->LLVM->circuits☆19Updated last year
- OpenSSL engine for use with SymCrypt cryptographic library☆78Updated this week
- ☆59Updated 3 years ago
- E3: Encrypt-Everything-Everywhere framework for compiling C++ programs with encrypted operands.☆94Updated 2 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Small, fast, header only, zero dependency cryptographic library.☆24Updated 2 years ago
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 10 months ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated last year
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 7 months ago
- X86 disassembler benchmark☆68Updated 3 months ago
- An LLVM clone modified for use in RetDec and associated tools.☆19Updated last year
- Debugger and analyzer for ARM ELF executables.☆18Updated 3 years ago
- RISC-V Disassembler☆18Updated 5 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- White-box Analysis and Implementation Tools☆78Updated 4 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- Pretty printer from GTIRB to assembly code☆49Updated 3 months ago
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆35Updated 3 weeks ago
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆40Updated 5 years ago
- Documentation of the VTIL API.☆32Updated 5 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated last month
- Library for reading IDA Pro databases.☆29Updated 4 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Updated 2 years ago
- Post-quantum Cryptography LWE (Learning with Errors) Library☆58Updated 2 years ago