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.
Publication: Research - peer-review › Article in proceedings – Annual report year: 2016
Publication: Research - peer-review › Journal article – Annual report year: 2015
Publication: Research › Ph.D. thesis – Annual report year: 2015