Login / Signup

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.

Yusuke KawamotoHideki SakuradaMasami Hagiya
Published in: Formal to Practical Security (2009)
Keyphrases