![](/img/cover-not-exists.png)
[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Towards automated proofs for asymmetric encryption schemes in the random oracle model
Courant, Judicaël, Daubignard, Marion, Ene, Cristian, Lafourcade, Pascal, Lakhnech, YassineYear:
2008
Language:
english
DOI:
10.1145/1455770.1455817
File:
PDF, 677 KB
english, 2008