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.

Latest activities and conferences

ID: 9092