A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries

Nges Brian Njungle, Milan Stojkov, Michel A. Kinsy

2025

Abstract

Homomorphic Encryption (HE) is a rapidly evolving field in secure computation, offering very strong security guarantees in privacy-preserving data processing. A large number of commercial systems that prioritize privacy depend on open-source HE libraries to ensure secure and confidential computation. However, the security of these open-source libraries remains questionable, as they do not demonstrate strong security assurances, such as formal verification, in their development process. In this work, we investigate security vulnerabilities and the efficiency of the implementations of the four main HE schemes in the most commonly used open-source HE libraries. To analyze security, we employ the SafeRewrite open-source dynamic analysis tool, which uses symbolic execution techniques to validate code correctness. The study reveals several security vulnerabilities, errors, and warnings in all of the libraries. In terms of performance, we assess the latency and scalability of the fundamental HE operations in these libraries. The results indicate that the Cheon-Kim-Kim-Song (CKKS) scheme is the fastest HE scheme, whereas OpenFHE is, on average, the best-performing HE library. Overall, this research underscores the significance of using secure development approaches and frameworks in implementing HE algorithms to ensure stronger security guarantees and correctness while minimizing performance impacts.

Paper Citation

in Harvard Style

Njungle N., Stojkov M. and Kinsy M. (2025). A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries. In Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT; ISBN 978-989-758-760-3, SciTePress, pages 483-494. DOI: 10.5220/0013626400003979

in Bibtex Style

@conference{secrypt25,
author={Nges Njungle and Milan Stojkov and Michel Kinsy},
title={A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries},
booktitle={Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT},
year={2025},
pages={483-494},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013626400003979},
isbn={978-989-758-760-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT
TI - A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries
SN - 978-989-758-760-3
AU - Njungle N.
AU - Stojkov M.
AU - Kinsy M.
PY - 2025
SP - 483
EP - 494
DO - 10.5220/0013626400003979
PB - SciTePress