Dimostrazione automatica di risultati classici della crittografia computazionale
| Contribuinte(s) |
Dal Lago, Ugo |
|---|---|
| Data(s) |
14/07/2010
|
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/1211/1/farina_gianpietro_tesi.pdf Farina, Gian Pietro (2010) Dimostrazione automatica di risultati classici della crittografia computazionale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509] <http://amslaurea.unibo.it/view/cds/CDS0099/> |
| Relação |
http://amslaurea.unibo.it/1211/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Crittografia Computazionale Generatori Pseudocasuali Dimostrazione Automatica CryptoVerif #scuola :: 843899 :: Scienze #cds :: 0099 :: Informatica [L-DM509] #sessione :: prima |
| Tipo |
PeerReviewed |
