Joeri de Ruiter

Protocol state fuzzing of TLS implementations

Joeri de Ruiter, Erik Poll · 2015 · 193 citations · Full text

Model learning and model checking of SSH implementations

Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll et al. · 2017 · 93 citations

Engineering, Information Security, Verification +18

Formal Models of Bank Cards for Free

Fides Aarts, Joeri de Ruiter, Erik Poll · 2013 · 81 citations · Full text

Engineering, Information Security, Verification +21

Defeating IMSI Catchers

Fabian van den Broek, Roel Verdult, Joeri de Ruiter · 2015 · 73 citations · Full text

Mobile Security, Engineering, Information Security +20

Analysis of Secure Key Storage Solutions on Android

Tim Cooijmans, Joeri de Ruiter, Erik Poll · 2014 · 51 citations

Mobile Security, Engineering, Encrypted Storage +11