Peter van Rossum
Peter van Rossum
Unknown affiliation
Verified email at cs.ru.nl
TitleCited byYear
Dismantling Mifare Classic
FD Garcia, G de Koning Gans, R Muijrers, P van Rossum, R Verdult, ...
European Symposium on Research in Computer Security, 97-114, 2008
2702008
Wirelessly pickpocketing a Mifare Classic card
FD Garcia, P van Rossum, R Verdult, R Wichers Schreur
IEEE Symposium on Security and Privacy, 3-15, 2009
1722009
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P van Rossum
ACM Workshop on Formal Methods in Security Engineering, 63-72, 2005
1042005
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ...
Computer Aided Verification, 443-454, 2005
982005
MathSAT: Tight integration of SAT and mathematical decision procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P van Rossum, S Schulz, ...
SAT 2005, 265-293, 2006
922006
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P van Rossum, S Schulz, ...
Tools and Algorithms for the Construction and Analysis of Systems, 317-333, 2005
872005
Efficient theory combination via Boolean search
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P van Rossum, ...
Information and Computation 204 (10), 1493-1525, 2006
852006
The Mathsat 3 system
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P van Rossum, S Schulz, ...
Automated Deduction–CADE-20, 315-321, 2005
662005
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Hardware and Software: Verification and Testing, 129-148, 2009
652009
Computing the leakage of information-hiding systems
ME Andrés, C Palamidessi, P van Rossum, G Smith
Tools and Algorithms for the Construction and Analysis of Systems, 373-389, 2010
532010
Modeling privacy for off-line RFID systems
FD Garcia, P van Rossum
Smart Card Research and Advanced Application, 194-208, 2010
402010
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P van Rossum, A Sokolova
Theoretical Computer Science 412 (28), 3072-3089, 2011
392011
Dismantling SecureMemory, CryptoMemory and CryptoRF
FD Garcia, P van Rossum, R Verdult, R Wichers Schreur
Proceedings of the 17th ACM conference on Computer and communications …, 2010
382010
Conditional probabilities over probabilistic and nondeterministic systems
ME Andrés, P van Rossum
Tools and Algorithms for the Construction and Analysis of Systems, 157-172, 2008
262008
Security flaw in Mifare Classic
RW Schreur, P van Rossum, F Garcia, W Teepe, JH Hoepman, B Jacobs, ...
Press release, Digital Security group, Radboud University Nijmegen, The …, 2008
232008
Sound and complete computational interpretation of symbolic hashes in the standard model
FD Garcia, P van Rossum
Theoretical Computer Science 394 (1-2), 112-133, 2008
222008
Computational soundness of non-malleable commitments
D Galindo, FD Garcia, P van Rossum
Information Security Practice and Experience, 361-376, 2008
222008
Probabilistic anonymity and admissible schedulers
FD Garcia, P van Rossum, A Sokolova
Arxiv preprint arXiv:0706.1019, 2007
222007
Sound computational interpretation of symbolic hashes in the standard model
FD Garcia, P van Rossum
Advances in Information and Computer Security, 33-47, 2006
22*2006
The stable equivalence and cancellation problems
L Makar-Limanov, P van Rossum, V Shpilrain, JT Yu
Commentarii Mathematici Helvetici 79 (2), 341-349, 2004
222004
The system can't perform the operation now. Try again later.
Articles 1–20