Ronny Wichers Schreur
Ronny Wichers Schreur
Verified email at - Homepage
Cited by
Cited by
Dismantling mifare classic
F Garcia, G de Koning Gans, R Muijrers, P Van Rossum, R Verdult, ...
Computer Security-ESORICS 2008, 97-114, 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
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
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
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
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
University hackers test the right to expose security concerns
R Wichers Schreur, G de Koning Gans, B Jacobs, W Teepe, ...
Code-carrying theories
B Jacobs, S Smetsers, R Wichers Schreur
Formal aspects of computing 19 (2), 191-203, 2007
Femtocell Security in Theory and Practice
F van den Broek, R Wichers Schreur
Secure IT Systems, 183-198, 2013
Logical formalisation and analysis of the MIFARE Classic card in PVS
B Jacobs, R Wichers Schreur
Interactive Theorem Proving, 3-17, 2011
Dynamic construction of generic functions
R Wichers Schreur, R Plasmeijer
Implementation and Application of Functional Languages, 309-335, 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
The system can't perform the operation now. Try again later.
Articles 1–15