Peter van Rossum

	2009
17		Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur: Wirelessly Pickpocketing a Mifare Classic Card. IEEE Symposium on Security and Privacy 2009: 3-15
16		Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum: Client-Server Password Recovery. OTM Conferences (2) 2009: 861-878
15		Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum: Client-Server Password Recovery (Extended Abstract) CoRR abs/0906.4668: (2009)
	2008
14		Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs: Dismantling MIFARE Classic. ESORICS 2008: 97-114
13		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
12		David Galindo, Flavio D. Garcia, Peter van Rossum: Computational Soundness of Non-Malleable Commitments. ISPEC 2008: 361-376
11		Miguel E. Andrés, Peter van Rossum: Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS 2008: 157-172
10		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR abs/0806.1139: (2008)
9		Flavio D. Garcia, Peter van Rossum: Sound and complete computational interpretation of symbolic hashes in the standard model. Theor. Comput. Sci. 394(1-2): 112-133 (2008)
	2007
8		Flavio D. Garcia, Peter van Rossum, Ana Sokolova: Probabilistic Anonymity and Admissible Schedulers CoRR abs/0706.1019: (2007)
	2006
7		Flavio D. Garcia, Peter van Rossum: Sound Computational Interpretation of Symbolic Hashes in the Standard Model. IWSEC 2006: 33-47
6		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006)
	2005
5		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
4		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349
3		Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum: Provable anonymity. FMSE 2005: 63-72
2		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS 2005: 317-333
1		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reasoning 35(1-3): 265-293 (2005)

Coauthor Index

1	Miguel E. Andrés	[10] [11] [13]
2	Marco Bozzano	[1] [2] [4] [5] [6]
3	Roberto Bruttomesso	[1] [2] [4] [5] [6]
4	Lukasz Chmielewski	[15] [16]
5	Alessandro Cimatti	[1] [2] [4] [5] [6]
6	Pedro R. D'Argenio	[10] [13]
7	David Galindo	[12]
8	Gerhard de Koning Gans	[14]
9	Flavio D. Garcia	[3] [7] [8] [9] [12] [14] [17]
10	Ichiro Hasuo	[3]
11	Jaap-Henk Hoepman	[15] [16]
12	Bart Jacobs	[14]
13	Tommi A. Junttila	[1] [2] [4] [5] [6]
14	Ruben Muijrers	[14]
15	Wolter Pieters	[3]
16	Silvio Ranise	[4] [6]
17	Ronny Wichers Schreur	[14] [17]
18	Stephan Schulz	[1] [2] [5]
19	Roberto Sebastiani	[1] [2] [4] [5] [6]
20	Ana Sokolova	[8]
21	Roel Verdult	[14] [17]

Colors in the list of coauthors