Roberto Vigo

Roberto Vigo

(Former)

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 »

  • Journal of Logic and Algebraic Programming

    ISSNs: 1567-8326

    Additional searchable ISSN (Electronic): 1873-5940

    Elsevier BV North-Holland, Netherlands

    BFI (2017): BFI-level 2, Scopus rating (2016): SJR 0.437 SNIP 1.333, ISI indexed (2013): ISI indexed yes, Web of Science (2015): Indexed yes

    Central database

    Journal

View all »

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

ID: 9092