Dimostrazione automatica di risultati classici della crittografia computazionale

Farina, Gian Pietro (2010) Dimostrazione automatica di risultati classici della crittografia computazionale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Documenti full-text disponibili:
[img]
Anteprima
 Documento PDF
Download (375kB) | Anteprima
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Farina, Gian Pietro
Relatore della tesi
Dal Lago, Ugo
Scuola
Scienze
Corso di studio
Informatica [L-DM509]
Ordinamento Cds
DM509
Parole chiave
Crittografia Computazionale Generatori Pseudocasuali Dimostrazione Automatica CryptoVerif
Data di discussione della Tesi
14 Luglio 2010
URI
https://amslaurea.unibo.it/id/eprint/1211

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^