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.
☆22Jul 6, 2021Updated 4 years ago
Alternatives and similar repositories for HElib
Users that are interested in HElib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- obfuscation that aims to not stand out☆25Mar 27, 2022Updated 4 years ago
- Pointer encryption library in rust.☆19Apr 13, 2025Updated last year
- ☆23Mar 13, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- Opensource uPlay API Emulator☆13Jan 25, 2016Updated 10 years ago
- LLVM Graph View for VSCode☆42Mar 25, 2025Updated last year
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 7 years ago
- RISC-V Disassembler☆18Aug 25, 2020Updated 5 years ago
- A high-fidelity x86_64 polymorphic mutation engine focused on instruction-level fragmentation and context preservation.☆112Jan 18, 2026Updated 4 months ago
- ☆45Apr 10, 2021Updated 5 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…☆22Mar 24, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆39Apr 3, 2020Updated 6 years ago
- based on llvm 5.0.1 release with ollvm☆37Feb 12, 2018Updated 8 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆76Nov 12, 2019Updated 6 years ago
- Mathematical Operation Simplifier for .NET Applications☆17Nov 20, 2019Updated 6 years ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- Utility to benchmark speed of operations of a PKCS#11 implementation.☆13Apr 13, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆21Oct 2, 2018Updated 7 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated last year
- The toolchain of Chosen-instruction attack☆22May 3, 2022Updated 4 years ago
- Using the peculiar behaviour of the VPGATHER instructions to determine if an address will fault before it is truly accessed. All done in …☆57Dec 30, 2025Updated 5 months ago
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Trial Reasoner for AI that Learns☆18Sep 17, 2025Updated 8 months ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- A collection of Binary Ninja plugins☆27May 17, 2022Updated 4 years ago
- A Delphi symbol name recovery tool for reverse engineers.☆27Jan 17, 2026Updated 4 months ago
- WordPress Sidebar Generator fully managed from WP Admin. No code required!☆39Feb 17, 2026Updated 3 months ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆32Apr 10, 2021Updated 5 years ago
- Wiki pages for compiler technologies https://compilers.wiki☆24Mar 19, 2023Updated 3 years ago