Soundness of formal encryption in the presence of active adversaries (2004)

by Daniele Micciancio , Bogdan Warinschi
Venue:In Proc. 1st Theory of Cryptography Conference (TCC), volume 2951 of LNCS
Citations:85 - 8 self