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 »

  • IEEE, 0-7803

    Central database

    Publisher

  • Springer, 0-387

    Central database

    Publisher

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.

Latest activities and conferences

ID: 9092