S.Z.: Fully automated analysis of padding-based encryption in the computational model. (2013)

by G B Barthe, J M Crespo, B Gregoire, C Kunz, Y Lakhnech, B Schmidt, Beguelin
Venue:In: ACM Conference on Computer and Communications Security,