Bressan, Carla (2013) Implementazione di test di casualità in CrypTool. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Pini, Fabio (2013) Mixnets e EasyCrypt: dimostrazioni crittografiche assistite da calcolatore. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]