Daniele Micciancio Bogdan Warinschi Soundness of Formal Encryption in the Presence of Active Adversaries. 133-151 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=133 2004 conf/tcc/2004 TCC db/conf/tcc/tcc2004.html#MicciancioW04