Description
Fully Homomorphic Encryption enables the evaluation of arbitrary circuits over encrypted data while maintaining the confidentiality of the underlying messages. It greatly enhances functionality but also comes with security challenges for some applications like Threshold FHE. While the standard IND-CPA security is sufficient against honest but curious adversaries, a stronger security notion called IND-CPA-D is required when the adversary can learn some decryption of ciphertexts obtained through honest encryptions and homomorphic evaluations. We present how such non-malicious adversary can recover the secret key of some popular exact and approximate FHE schemes, discuss mitigation strategies for such attacks and explore the close relationship between IND-CPA-D security and correctness. We successfully experimented our key-recovery-D attacks using the public API of libraries such as TFHE-rs and OpenFHE for ind-cpa secure parameters and demonstrate how to attack Threshold FHE schemes like Noah’s Ark.
Prochains exposés
-
Polytopes in the Fiat-Shamir with Aborts Paradigm
Orateur : Hugo Beguinet - ENS Paris / Thales
The Fiat-Shamir with Aborts paradigm (FSwA) uses rejection sampling to remove a secret’s dependency on a given source distribution. Recent results revealed that unlike the uniform distribution in the hypercube, both the continuous Gaussian and the uniform distribution within the hypersphere minimise the rejection rate and the size of the proof of knowledge. However, in practice both these[…]-
Cryptographie
-
Primitive asymétrique
-
Mode et protocole
-
-
Post-quantum Group-based Cryptography
Orateur : Delaram Kahrobaei - The City University of New York