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:
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 6 months ago
- Encryption Algorithm Combined☆29Updated 9 years ago
- White-box analytic framework based on LLVM☆39Updated 6 years ago
- OpenSSL engine for use with SymCrypt cryptographic library☆75Updated this week
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- binary->LLVM->circuits☆19Updated last year
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated 2 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated last year
- E3: Encrypt-Everything-Everywhere framework for compiling C++ programs with encrypted operands.☆93Updated 2 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆31Updated 8 months ago
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.☆15Updated 4 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 3 months ago
- An LLVM clone modified for use in RetDec and associated tools.☆20Updated 8 months ago
- White-box cryptography based on FAPKC algorithm☆28Updated 8 months ago
- ☆59Updated 2 years ago
- Differential Address Trace Analysis☆60Updated last year
- simple tracing utility for windows☆25Updated 5 months ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- ☆12Updated last year
- Debugger and analyzer for ARM ELF executables.☆18Updated 3 years ago
- QARMA block cipher in C☆30Updated 3 years ago
- uber eXtensible Micro-Hypervisor Framework☆33Updated last year
- ☆13Updated 3 years ago
- Documentation of the VTIL API.☆31Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Compiler-instrumented app tracing.☆53Updated last year