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:
- OpenSSL engine for use with SymCrypt cryptographic library☆76Updated this week
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 7 months ago
- White-box analytic framework based on LLVM☆39Updated 6 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- bareflank based hypervisor with guest support☆61Updated 5 years ago
- binary->LLVM->circuits☆19Updated last year
- uber eXtensible Micro-Hypervisor Framework☆33Updated last year
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Compiler-instrumented app tracing.☆53Updated last year
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated 2 years ago
- Encryption Algorithm Combined☆29Updated 9 years ago
- A Secure and Memory-Efficient Heap Allocator☆34Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- RISC-V Disassembler☆18Updated 5 years ago
- simple tracing utility for windows☆26Updated 6 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated last year
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated 5 years ago
- Lightweight WINAPI tracing with Pin☆27Updated 6 years ago
- QARMA block cipher in C☆31Updated 3 years ago
- An LLVM clone modified for use in RetDec and associated tools.☆20Updated 9 months ago
- Library for reading IDA Pro databases.☆29Updated 4 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Updated 4 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
- Rust unsafe bindings for Vid API (Hyper-V)☆20Updated 8 months ago
- Documentation of the VTIL API.☆31Updated 5 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Debugger and analyzer for ARM ELF executables.☆18Updated 3 years ago
- A number of samples to get you started with VTILs API.☆38Updated 4 years ago