Chevalier, Céline
Ebrahimi, Ehsan
Vu, Quoc-Huy
Funding for this research was provided by:
Agence Nationale de la Recherche (ANR-18-CE39- 0015, ANR-18-CE39- 0015, ANR-18-CE39- 0015)
French Programme d’Investissement d’Avenir (RISQ P141580, RISQ P141580, RISQ P141580)
Article History
Received: 16 February 2024
Revised: 18 August 2024
Accepted: 31 May 2025
First Online: 6 July 2025
Declarations
:
: A preliminary version of this manuscript has been published earlier in the Proceedings of INDOCRYPT 2022. Besides providing formal proofs for the theorems, this manuscript also extends the conference version with more technical contributions: (i) new notions of non-malleability for public-key encryption in the quantum setting (Sect. ); (ii) proofs of relations between indistinguishability and non-malleability (Sect. ); (iii) new results showing that bit encryption is complete in the quantum setting (Sect. ); (iv) separations between our notions and previous notions of [] (Sect. and Sect. ). We also extend the introduction with more technical discussions on several approaches to the problem and compare them with ours.