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
Selected publications (from DBLP)
All publications (with some local downloadable copies) from PORTO (Institutional Repository)
I teach Distributed systems
programming (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.
- Jaloliddin Yusupov (PhD student)
- Serena Spinoso (Post-doc)
The deadlines for PhD applications are normally in Spring time (this year 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) with which I cooperate:
I am also 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
- Paolo Maggi worked on formal methods applied to mobile agents and network security.
He is currently a software engineer at Nice, Italy.
- Radu Iosif worked on software model checking of Java programs. He is currently
a researcher at CNRS-Verimag, France.
Last update: January 2018