Email : luca.durante [at]

Research Interests

Techniques And Tools For The Analysis of Networks And Complex Systems


Phone : +39 011 0905425
Fax : +39 011 0905429
Site :Torino
Position : Senior Researcher


Luca Durante graduated in electronic engineering in 1992, and received the Ph.D. degree in computer engineering in 1996 both from the Politecnico di Torino, Torino, Italy. He is Senior Researcher with the Italian National Research Council (CNR). He is currently with Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (IEIIT). He has co-authored about 40 scientific journal, conference papers and technical reports in the area of industrial communication protocols and formal techniques for distributed systems. He also served as a technical referee for several international conferences and journals. Currently, his research interests include formal verification of cryptographic protocols, source-level model checking of software and network vulnerability and dependability analysis.