Homepage of Erik Poll

Associate professor in the Digital Security (DS) group
  Institute for Computing and Information Sciences
  Radboud University Nijmegen

  Address and contact information


My papers and some slides of talks are available on-line, as well as some pointers to media attention.
(photo by
Sjoerd van der Hucht)

My research interest are formal methods and security, and ideally combining the two, though much of my research into security is more applied. In more detail, I'm interested in


My bachelor courses are part of the Bachelor Cyber Security, a specialisation within Bachelor Computer Science (Informatica).

My master courses are part of the TRU/e Master in Cyber Security, and used to be part of the Kerckhoffs Master in Computer Security.


Program committees, events, etc.