Towards automated proofs for asymmetric encryption schemes in the random oracle model.

Judical Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Browse the full CCS paper archive.