Today, I have been honored to serve on the final PhD Commission on Vasco Coelho, Davide Cozzi, Lorenzo Rovida and Sahar Shah at the University of Milano Bicocca.
I have also given a talk about “Formal Verification of the Italian e-ID Multi-Factor Authentication”; the slides are here.