Group of Experts - Networks, Distributed SystemsEmail: email@example.com
Currently, I am the leader of the Computer Networks Group (Netgroup) at Politecnico di Torino, in the Department of Control and Computer Engineering.
I am also a member of the Cybersecurity National Laboratory.
I have been working for more than 20 years in the research areas of distributed systems and software engineering, with a special interest in formal methods for safety and security of distributed systems.
Current research interests:
- formal verification of cryptographic protocols and security-critical software
- model-driven development and automated generation of safe/secure code from formal protocol descriptions
- formal assurance of network policies in SDN/NFV-based networks