Your search returned 2 results. Subscribe to this search

|
1.  Monographies, textes Formal certification of game-based cryptographic proofs / par Santiago José Zanella Béguelin ; sous la direction de Gilles BarthePublication : 2010Description : 1 vol. (146 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 160.386 CCL TH 1283] (2).
2. Thèses Formal certification of game-based cryptographic proofs [Ressource électronique] / par Santiago José Zanella Béguelin ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00584350] (1).

Powered by Koha