Judicaël Courant Marion Daubignard Cristian Ene Pascal Lafourcade Yassine Lakhnech Towards automated proofs for asymmetric encryption schemes in the random oracle model. 371-380 2008 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1455770.1455817 conf/ccs/2008 db/conf/ccs/ccs2008.html#CourantDELL08