Riccardo Sisto

Participating Member - Networks, Distributed Systems, Cybersecurity

Email: riccardo.sisto@polito.it
Website: link

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