The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Erik Poll.
Did you ever wonder what Erik talked about at FM2019?
*Prof. Erik Poll gave an FM2019 keynote on "Formal Methods for Security Functionality and for Secure Functionality"*
Abstract. High levels of assurance for security properties are obviously desirable, so security seems like an ideal application area for formal methods. However, security properties can be tricky to characterise, even informally, so this is easier said than done. In light of this we will discuss some experiences and hopes in applying formal methods - incl. some fairly lightweight formal methods - to improve security.
Short biography. Erik Poll is Associate Professor at the Digital Security group at Radboud University in Nijmegen. Here he has carried out applied security research into smartcards, payment systems, security protocols and smart grids, and investigated the use of formal methods to support such security analyses, especially to analyse the software implementing the protocols involved. Earlier he worked on the verification of object-oriented programs, especially for Java and using the specification language JML.