Qualche articolo di ricerca per calcolo
formale e protocolli di sicurezza:
The Polymorphic Pi-calculus: Theory
and
Implementation grazie al quale ho
sostenuto gli esami di Fondamenti di Informatica col Prof. Andrea
Asperti (Teorie dei Tipi) e Metodi Formali I col Prof. Cosimo LaNeve
(verifiche formali di correttezza)