Browsing by Author "Wichers Schreur, R.J.M."

Now showing items 1-9 of 9

Femtocell security in theory and practice
Broek, F. van den; Wichers Schreur, R.J.M.
2013, Part of book or chapter of book (Nielson, H. Riis; Gollmann, D. (ed.), Secure it systems, pp. 183-198)
Logical Formalisation and Analysis of the Mifare Classic Card in PVS
Jacobs, B. ; Wichers Schreur, R.
2010, External research report
Dismantling SecureMemory, CryptoMemory and CryptoRF
Garcia, F. D. ; Rossum, P.J.B. van ; Verdult, R. ; Wichers Schreur, R.
2010, Part of book or chapter of book (CCS'10 : 17th ACM conference on Computer and communications security, Chicago, IL, USA, october 4-8, 2010, pp. 250-259)
Model-Based Testing of Electronic Passports
Mostowski, W.I. ; Poll, E. ; Schmaltz, J. ; Tretmans, J. ; Wichers Schreur, R.J.M.
2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
Wirelessly Pickpocketing a Mifare Classic Card
Garcia, F. D. ; Rossum, P.J.B. van ; Verdult, R. ; Wichers Schreur, R.J.M.
2009, Article in monograph or in proceedings (S&P 2009 : 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA, pp. 3-15)
Dismantling MIFARE Classic
Garcia, F. D. ; Koning Gans, G.T de; Muijrers, Ruben; Rossum, P.J.B. van ; Verdult, R. ; Wichers Schreur, R.J.M. ; Jacobs, B.P.F.
2008, Article in monograph or in proceedings (Jajodia, S.; Lopez, J. (ed.), Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, pp. 97-114)
Code-Carrying Theories
Jacobs, B.P.F. ; Smetsers, Sjaak ; Wichers Schreur, R.J.M.
2007, Article / Letter to editor (Formal Aspects of Computing, vol. 19, iss. 2, (2007), pp. 191-203)
Crossing Borders: Security and Privacy Issues of the European e-Passport
Hoepman, Jaap-Henk ; Hubbers, E.M.G.M. ; Jacobs, B.P.F. ; Oostdijk, Martijn ; Wichers Schreur, R.J.M.
2006, Article in monograph or in proceedings (Proc. IWSEC 2006: Advances in Information and Computer Security, pp. 152-167)
Dynamic Construction of Generic Functions
Wichers Schreur, R.J.M. ; Plasmeijer, M.J.
2004, Article in monograph or in proceedings (Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pp. 428-176)

Now showing items 1-9 of 9

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Wichers Schreur, R.J.M."

Search Repository

Browse

All of Repository