Search papers, labs, and topics across Lattice.
This paper formalizes Anamorphic Key Encapsulation Mechanisms (AKEMs) and provides generic constructions for both Public-Key (PKAKEM) and Symmetric-Key (SKAKEM) variants, achieving strong IND-CCA security for covert channels. The constructions leverage any KEM that allows randomness recovery, ensuring a unique mapping between ciphertexts and randomness based on the injective property of the base KEM. The work provides a rigorous security proof in the standard model, demonstrating resilience against an adversary controlling the decapsulation key.
CCA-secure anamorphic encryption, previously an open challenge, is now achievable in the standard model, enabling robust covert communication even under key compromise.
Anamorphic encryption serves as a vital tool for covert communication, maintaining secrecy even during post-compromise scenarios. Particularly in the receiver-anamorphic setting, a user can shield hidden messages even when coerced into surrendering their secret keys. However, a major bottleneck in existing research is the reliance on CPA-security, leaving the construction of a generic, CCA-secure anamorphic scheme in the standard model as a persistent open challenge. To bridge this gap, we formalize the Anamorphic Key Encapsulation Mechanism (AKEM), encompassing both Public-Key (PKAKEM) and Symmetric-Key (SKAKEM) variants. We propose generic constructions for these primitives, which can be instantiated using any KEM that facilitates randomness recovery. Notably, our framework achieves strong IND-CCA (sIND-CCA) security for the covert channel. We provide a rigorous formal proof in the standard model, demonstrating resilience against a"dictator"who controls the decapsulation key. The security of our approach is anchored in the injective property of the base KEM, which ensures a unique mapping between ciphertexts and randomness. By integrating anamorphism into the KEM-DEM paradigm, our work significantly enhances the practical utility of covert channels within modern cryptographic infrastructures.
