Ronny Wichers Schreur

11 papers A* 2A 1B 1C 1Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2013 — conf
Femtocell Security in Theory and Practice.
NordSec
Fabian van den Broek, Ronny Wichers Schreur
2011 B conf
Logical Formalisation and Analysis of the Mifare Classic Card in PVS.
ITP
Bart Jacobs, Ronny Wichers Schreur
2010 A* conf
Dismantling SecureMemory, CryptoMemory and CryptoRF.
CCS
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2010 J jnl
Dismantling SecureMemory, CryptoMemory and CryptoRF.
IACR Cryptol. ePrint Arch.
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2009 C conf
Model-Based Testing of Electronic Passports.
FMICS
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
2009 A* conf
Wirelessly Pickpocketing a Mifare Classic Card.
SP
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2008 J jnl
Crossing Borders: Security and Privacy Issues of the European e-Passport
CoRR
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2008 A conf
Dismantling MIFARE Classic.
ESORICS
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
2007 J jnl
Code-carrying theories.
Formal Aspects Comput.
Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
2006 Misc conf
Crossing Borders: Security and Privacy Issues of the European e-Passport.
IWSEC
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2004 — conf
Dynamic Construction of Generic Functions.
IFL
Ronny Wichers Schreur, Marinus J. Plasmeijer