|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bart Jacobs, Ronny Wichers Schreur |
Logical Formalisation and Analysis of the Mifare Classic Card in PVS.  |
ITP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur |
Dismantling SecureMemory, CryptoMemory and CryptoRF. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur |
Dismantling SecureMemory, CryptoMemory and CryptoRF. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur |
Wirelessly Pickpocketing a Mifare Classic Card. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
Model-Based Testing of Electronic Passports. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs |
Dismantling MIFARE Classic. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur |
Code-carrying theories. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Compression, Code generation, Functional languages, Unification, PVS, Proof assistants |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Wichers Schreur, Marinus J. Plasmeijer |
Dynamic Construction of Generic Functions. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")