Statistics
Publications
17
Citations
769
H-Index
14
Active since
2012
Affiliations
Joeri de Ruiter is an author at Radboud University Nijmegen specializing in computing, computer science, and cybersecurity.
Publications per year
2012–2021
17
17
Model learning and model checking of SSH implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll et al. · 2017 · 95 citations
Formal Models of Bank Cards for Free
Fides Aarts, Joeri de Ruiter, Erik Poll · 2013 · 81 citations · Full text
Fabian van den Broek, Roel Verdult, Joeri de Ruiter · 2015 · 73 citations · Full text
Analysis of Secure Key Storage Solutions on Android
Tim Cooijmans, Joeri de Ruiter, Erik Poll · 2014 · 52 citations
1–5 of 17