Riccardo Sisto

Participating Member - Networks, Distributed Systems, Cybersecurity

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