"Une comparaison entre deux méthodes de preuve de ..."

Duong Hieu Phan, David Pointcheval (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics