Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

DOI10.1007/978-3-642-02002-5_9MaRDI QIDQ3631375zbMATH OpenOpenAlexFDO

Authors Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya

Publication date 9 June 2009

Published in Formal to Practical Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02002-5_9

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Rerandomizable RCCA Encryption
• Theory of Cryptography
• Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications
• Receiver-anonymity in rerandomizable RCCA-secure cryptosystems resolved
• Mix-nets from re-randomizable and replayable CCA-secure public-key encryption

Cites work

• A computational interpretation of Dolev-Yao adversaries
• Advances in Cryptology - CRYPTO 2003
• Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
• scientific article; zbMATH DE number 2081087 (Why is no real title available?)
• scientific article; zbMATH DE number 2086700 (Why is no real title available?)
• scientific article; zbMATH DE number 1842499 (Why is no real title available?)
• scientific article; zbMATH DE number 2242582 (Why is no real title available?)
• On the security of public key protocols
• Programming Languages and Systems
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Rerandomizable RCCA Encryption
• Theory of Cryptography
• Theory of Cryptography
• Theory of Cryptography
• Topics in Cryptology – CT-RSA 2004

Cited in

(6)

• Receiver-anonymity in rerandomizable RCCA-secure cryptosystems resolved
• Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications
• Computing OR on a randomized fixed adversary CRCW PRAM
• Rerandomizable RCCA Encryption
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
• Soundness of Formal Encryption in the Presence of Key-Cycles

This page was built for publication: Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631375)