1. Mobile values, new names, and secure communication
2. Giampaolo Bella, Gianpiero Costantino, Lizzie Coles-Kemp, and Salvatore Riccobene. 2011. Remote management of face-to-face written authenticated though anonymous exams. In Proceedings of the 3rd International Conference on Computer Supported Education, Vol. 2. 431–437.
3. WATA-A system for written authenticated though anonymous exams.;Bella Giampaolo;In Proceedings of the 2nd International Conference on Computer Supported Education, Vol. 2,2010
4. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
5. Modelling and Verification of Secure Exams