DMCA

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

by Yusuke Kawamoto , Hideki Sakurada , Masami Hagiya