Roberto Vigo

Roberto Vigo

PhD student

Building 324, Room 180

2800 Kongens Lyngby


Phone: 45253734

My research interests primarily include formal methods for reasoning about security protocols and automatically verifying their (in)security properties. I am interested in the development of tools which aim at modelling and verifying such systems,  and in the underlying logical frameworks.

Currently I am investigating new security scenarios arising in the context of Cyber-Physical Systems, where the combination of cyber and physical elements opens up for new threats that cannot be directly modelled in most of the frameworks for security protocol analysis. In partocular, I am focusing on availability and denial-of-service, which have received poor attention in the literature so far.

View graph of relations

View all »

Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 9092