| Dismantling mifare classic F Garcia, G de Koning Gans, R Muijrers, P Van Rossum, R Verdult, ... Computer Security-ESORICS 2008, 97-114, 2008 | 351 | 2008 |
| Wirelessly pickpocketing a Mifare Classic card FD Garcia, P Rossum, R Verdult, R Wichers Schreur Security and Privacy, 2009 30th IEEE Symposium on, 3-15, 2009 | 215 | 2009 |
| Crossing borders: Security and privacy issues of the european e-passport JH Hoepman, E Hubbers, B Jacobs, M Oostdijk, R Wichers Schreur Advances in Information and Computer Security, 152-167, 2006 | 166 | 2006 |
| CryptoMemory and CryptoRF FD Garcia, P van Rossum, R Verdult, R Wichers Schreur, ... Proceedings of the 17th ACM conference on Computer and communications security, 2010 | 45 | 2010 |
| Model-based testing of electronic passports W Mostowski, E Poll, J Schmaltz, J Tretmans, R Wichers Schreur Formal Methods for Industrial Critical Systems, 207-209, 2009 | 35 | 2009 |
| Security flaw in MIFARE Classic R Wichers Schreur, P van Rossum, F Garcia, W Teepe, JH Hoepman, ... Press release, Digital Security group, Radboud University Nijmegen, The …, 2008 | 24 | 2008 |
| University hackers test the right to expose security concerns R Wichers Schreur, G de Koning Gans, B Jacobs, W Teepe, ... | 16* | 2008 |
| Code-carrying theories B Jacobs, S Smetsers, R Wichers Schreur Formal aspects of computing 19 (2), 191-203, 2007 | 11 | 2007 |
| Femtocell Security in Theory and Practice F van den Broek, R Wichers Schreur Secure IT Systems, 183-198, 2013 | 9 | 2013 |
| Logical formalisation and analysis of the MIFARE Classic card in PVS B Jacobs, R Wichers Schreur Interactive Theorem Proving, 3-17, 2011 | 5 | 2011 |
| Dynamic construction of generic functions R Wichers Schreur, R Plasmeijer Implementation and Application of Functional Languages, 309-335, 2005 | 3* | 2005 |
| Mifare or Freefare R Verdult | | |
| RFID Security Taken for Granted R Verdult | | |
| 2009 30th IEEE Symposium on Security and Privacy FD Garcia, P van Rossum, R Verdult, RW Schreur, MR Albrecht, ... | | |
| Seat Distributions: From Electoral Law via Logic to Code (preliminary report) R Wichers Schreur, B Jacobs | | |
Roel VerdultFactorIT BVVerified email at factorit.nl
