C

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.

F

Foschi, Federica (2012) Semplificare l'interazione con l'utente nell'interprete IntML. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

L

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]

N

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.