Ronny Wichers Schreur!

Member of the Digital Security (DS) section. I have reserved Wednesdays for ICIS projects.

Information about the Cyber Security Bachelor track in Nijmegen (in Dutch).

Contacting Info

Email:: (PGP key)

Phone:: +31 24 3652481
Fax:: +31 24 3652298
Mail:: Ronny Wichers Schreur; Faculty of Science (mailbox 47); Radboud University Nijmegen; Postbus 9010; 6500 GL Nijmegen; The Netherlands
Visiting address:: Mercator I, Room 03.11A; Faculty of Science, Mathematics and Computing Science; Toernooiveld 212; 6525 EC Nijmegen; Various Maps

Fabian van den Broek, Ronny Wichers Schreur: Femtocell Security in Theory and Practice. NordSec 2013: (to appear)
Bart Jacobs, Ronny Wichers Schreur: Logical formalisation and analysis of the MIFARE Classic card in PVS. Interactive Theorem Proving: 3-17
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur: Dismantling SecureMemory, CryptoMemory and CryptoRF. ACM Conference on Computer and Communications Security 2010: 250-259
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur: Wirelessly Pickpocketing a Mifare Classic Card. IEEE Symposium on Security and Privacy 2009: 3-15
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs: Dismantling MIFARE Classic. ESORICS 2008: 97-114
Ronny Wichers Schreur, Bart Jacobs: Seat Distributions: From Electoral Law via Logic to Code. WOTE 2008
Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007)
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur: Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC 2006: 152-167
Ronny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176