Professor of Computer Engineering
Dipartimento di Automatica e Informatica
Politecnico di Torino
Corso Duca degli Abruzzi, 24
I-10129 Torino, Italy
Phone: +39 011 090 7073
+39 011 090 7099
e-mail: riccardo.sisto at
polito.it (where "at" stands for "@").
Full professor at Politecnico di Torino since 2004.
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:
Main recent/current research projects:
- 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
I also received two URP Grants from Cisco Systems.
Selected publications (from DBLP)
All publications (with some local downloadable copies) from PORTO (Institutional Repository)
I teach Distributed Systems Programming (MS),
Security Verification and Testing (MS),
and Formal Verification of Software and of Concurrent and Distributed Systems (PhD).
Current PhD students and Post-docs
To be informed about available PhD positions and internships on formal
methods at my Institution, please
contact me by e-mail.
The deadlines for PhD applications are normally in February and May.
If interested in a PhD
position, please contact me earlier.
Some of my current collaborators are with the IEIIT, an Institute of
the Italian National Research Council (CNR) in which I am Research Associate:
I have also been among the "International Friends" of the
Some former students and Post-docs
- Alfredo Pironti worked on formal methods applied to security protocols. He is currently with IOActive, Spain
- Paolo Maggi worked on formal methods applied to mobile agents and network security.
He is currently a senior manager and software engineer at Nice (an Amazon Web Services Company), Italy.
- Radu Iosif worked on software model checking of Java programs. He is currently a researcher at CNRS-Verimag, France.
Last update: February 2021