HERTA is the first metamorphic-testing tool for FHE frameworks that found 21 previously unknown bugs across three industry frameworks, some already fixed by developers.
Heir: A universal compiler for homomorphic encryption,
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
fields
cs.CR 3years
2026 3verdicts
UNVERDICTED 3representative citing papers
Bifrost achieves significant latency reductions in privacy-preserving transformer inference through a hybrid CPU TEE and accelerator FHE design, with Bifrost+ further optimizing via prefill/decode split.
AlphaEvolve automates optimization of TFHE and CKKS FHE kernels on TPUv5e, finding changes that cut bootstrap latency by 2.5x and rotation/multiplication by 1.31x/1.18x versus human baselines.
citing papers explorer
-
Detecting and Understanding Vulnerabilities in Fully Homomorphic Encryption Frameworks
HERTA is the first metamorphic-testing tool for FHE frameworks that found 21 previously unknown bugs across three industry frameworks, some already fixed by developers.
-
Bifrost: Hybrid TEE-FHE Inference for Privacy-Preserving Transformer and LLM Serving
Bifrost achieves significant latency reductions in privacy-preserving transformer inference through a hybrid CPU TEE and accelerator FHE design, with Bifrost+ further optimizing via prefill/decode split.
-
Adapting AlphaEvolve to Optimize Fully Homomorphic Encryption on TPUs
AlphaEvolve automates optimization of TFHE and CKKS FHE kernels on TPUv5e, finding changes that cut bootstrap latency by 2.5x and rotation/multiplication by 1.31x/1.18x versus human baselines.