Ronny Wichers Schreur

According to our database, Ronny Wichers Schreur authored at least 9 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Femtocell Security in Theory and Practice.

Fabian van den Broek, Ronny Wichers Schreur

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2011

Logical Formalisation and Analysis of the Mifare Classic Card in PVS.

Bart Jacobs, Ronny Wichers Schreur

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Dismantling SecureMemory, CryptoMemory and CryptoRF.

Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur

IACR Cryptol. ePrint Arch., 2010

2009

Wirelessly Pickpocketing a Mifare Classic Card.

Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Model-Based Testing of Electronic Passports.

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Dismantling MIFARE Classic.

Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs

Proceedings of the Computer Security, 2008

2007

Code-carrying theories.

Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur

Formal Aspects Comput., 2007

2006

Crossing Borders: Security and Privacy Issues of the European e-Passport.

Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur

Proceedings of the Advances in Information and Computer Security, 2006

2004

Dynamic Construction of Generic Functions.

Ronny Wichers Schreur, Marinus J. Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2004