Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
scientific article

    Statements