Roberto Carbone
Ph.D.
Home : Short bio

I am a post-doctoral researcher at the Artificial Intelligence Laboratory, DIST, University of Genova.

Ph.D. in Electronic and Computer Engineering and Telecommunications at the University of Genova, in April 2009.
Thesis: LTL Model-Checking for Security Protocols
Supervisor: Prof. Alessandro Armando

Master's degree (Laurea) in Computer Engineering at the University of Genova, in November 2005. Thesis about the formal analysis of security protocols. In particular it explores the use of the Linear Temporal Logic in the SAT-based Model-Checking (SATMC) approach, in order to express security properties.
Supervisor: Prof. Alessandro Armando
Assistant supervisor: Ing. Luca Compagna

 




Logo of the University of Genova Logo DIST

Powered by UHP2 1.5 - Free version please visit our site to upgrade
© Copyright 2007 Ravenswood IT Services
Reaching us | Joining us | Events | Credits
AI-Lab
School Joomla Templates and Joomla Tutorials