Search papers, labs, and topics across Lattice.
This paper introduces HERTA, the first automated testing tool specifically designed for fully homomorphic encryption (FHE) frameworks, which leverages metamorphic testing to identify implementation bugs and vulnerabilities. By creating novel metamorphic relations derived from FHE semantics, HERTA effectively tests the correctness of complex FHE operations without requiring a manual ground truth. The evaluation of HERTA on three leading industry frameworks revealed 21 previously unknown bugs, highlighting significant security risks that could impact FHE-based applications in sensitive sectors like finance and healthcare.
HERTA uncovers critical vulnerabilities in FHE frameworks, exposing 21 previously unknown bugs that could jeopardize the security of sensitive applications.
Fully homomorphic encryption (FHE) allows computations to be performed directly on encrypted data without decryption, offering strong privacy guarantees for sensitive data analysis. This capability is important for privacy-sensitive applications like secure cloud computing, finance, and healthcare. The complexity of FHE schemes, however, has hindered their practical adoption. To make FHE accessible to a broader range of developers, a new generation of specialized frameworks has emerged to translate high-level FHE programs into complex FHE operations, introducing a new programming paradigm. However, the inherent complexity of FHE frameworks makes them prone to incorrect implementation logic. Unlike mere crashes, logic bugs in these frameworks can silently corrupt encrypted computation, potentially leading to severe financial losses and security vulnerabilities in FHE-enhanced applications. In this work, we introduce HERTA, the first automated testing tool tailored for FHE frameworks. HERTA leverages metamorphic testing to uncover deep-seated implementation bugs and vulnerabilities across the multi-layered FHE software stack. To that end, we design a set of novel metamorphic relations (MRs) derived specifically from FHE semantics. These MRs stress the most challenging aspects of the pipeline, enabling automated correctness testing without the need for a manual ground truth. Our evaluation of HERTA on 3 leading industry frameworks discovered 21 previously unknown bugs, several of which have already been confirmed and fixed by developers. Furthermore, our hazard analysis reveals the critical security impact these bugs pose to the integrity and availability of FHE-based services.
