Joeri de Ruiter

I work as assistant professor in the Digital Security (DS) group at the Institute for Computing and Information Sciences of the Radboud University Nijmegen. Previously I worked as a Research Fellow in the Security and Privacy group at the School of Computer Science of the University of Birmingham on the SCEPTICS project (SystematiC Evaluation Process for Threats to Industrial Control Systems).

Publications | Events | Projects | Software | Contact





  • StateLearner - a tool to infer state machines from implementations.
  • JavaCardOpenPGP - an open source Java Card implementation of the OpenPGP smart card specifications.
  • IUU Flasher - a tool to flash/dump smart cards using the Infinity USB Unlimited.
  • ProVerif Editor - an editor to edit protocol specifications in the applied pi calculus and verify these using ProVerif.
  • OpenEMV - an open source Java Card implementation of the EMV standard.
  • Radboud Reader

Contact information

Email: joeri at
Key fingerprint: A34E 0C33 1EE1 D89A BCBC 6E58 21E2 34E4 B5A0 2A54
Visiting address: Mercator 1, room 3.18, Toernooiveld 212, 6525 EC Nijmegen, The Netherlands

Valid HTML 4.01 Strict Valid CSS!