Su di un livello |
Foschi, Federica (2012) Semplificare l'interazione con l'utente nell'interprete IntML. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Lazzarini, Margherita (2012) Crittografia basata su curve ellittiche e implementazione di funzioni di libreria per Cryptokit. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Nardi, Michele (2012) Crittanalisi logica e architetture parallele. [Laurea], Università di Bologna, Corso di Studio in Scienze di internet [L-DM509], Documento ad accesso riservato.
Cappai, Alberto (2012) Sulla crittografia formale e la semantica dei giochi. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270], Documento ad accesso riservato.