Ronny Wichers Schreur

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Security Systems

Theoretical Frameworks

Information Assurance

Top Venues

Publications

Fabian van den Broek, Ronny Wichers Schreur
Femtocell Security in Theory and Practice. NordSec (2013)
Bart Jacobs, Ronny Wichers Schreur
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP (2011)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Dismantling SecureMemory, CryptoMemory and CryptoRF. CCS (2010)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Dismantling SecureMemory, CryptoMemory and CryptoRF. IACR Cryptol. ePrint Arch. 2010 (2010)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Wirelessly Pickpocketing a Mifare Classic Card. IEEE Symposium on Security and Privacy (2009)
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
Model-Based Testing of Electronic Passports. FMICS (2009)
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Crossing Borders: Security and Privacy Issues of the European e-Passport CoRR (2008)
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
Dismantling MIFARE Classic. ESORICS (2008)
Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
Code-carrying theories. Formal Aspects Comput. 19 (2) (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)
Ronny Wichers Schreur, Marinus J. Plasmeijer
Dynamic Construction of Generic Functions. IFL (2004)