Research
Comp. Science
Mathematics
Library

Home

Computer Science

My research interests are security protocols, model checking, sat solving, type theory, anonymity and privacy.

Publications

See also my publications in mathematics.

• Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, and Geoffrey Smith.
  Computing the Leakage of Information-Hiding Systems.
  To appear in: Proceedings of TACAS 2010.

• Lukasz Chmielewski, Jaap-Henk Hoepman, and Peter van Rossum.
  Client-Server Password Recovery
  In: Proceedings of IS 2009, LNCS 5871, 861-878, Springer, 2009.
  [ pdf | doi ]

• Flavio D. Garcia, Peter van Rossum, Roel Verdult, and Ronny Wichers Schreur.
  Wirelessly Pickpocketing a Mifare Classic Card.
  In: Proceedings of IEEE S&P 2009.
  [ pdf ]

• Miguel E. Andrés, Pedro D'Argenio and Peter van Rossum.
  Significant Diagnostic Counterexamples in Probabilistic Model Checking.
  In: Proceedings of HVC 2008, LNCS 5394, 129-148, Springer, 2009.
  [ pdf | doi | bib ]

• Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur and Bart Jacobs.
  Dismantling Mifare Classic.
  In: Proceedings of ESORICS 2008, LNCS 5283, 97-114, Springer, 2008.
  [ pdf | doi | bib ]

• David Galindo, Flavio D. Garcia and Peter van Rossum.
  Computational Soundness of Non-Malleable Commitments.
  In: Proceedings of ISPEC 2008, LNCS 4991, 361-376, Springer, 2008.
  [ pdf | doi | bib ]

• Flavio D. Garcia and Peter van Rossum.
  Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model.
  Theoretical Computer Science 394, 112-133, Elsevier, 2008.
  [ pdf | doi | bib ]

• Miguel E. Andrés and Peter van Rossum.
  Conditional Probabilities over Probabilistic and Nondeterministic Systems.
  In: Proceedings of TACAS 2008, LNCS 4963, 157-172, Springer, 2008.
  [ pdf | doi | bib ]

• Flavio D. Garcia, Peter van Rossum and Ana Sokolova.
  Probabilistic Anonymity and Admissible Schedulers.
  arXiv:0706.1019, 2007.
  [ pdf | bib ]

• Flavio D. Garcia and Peter van Rossum.
  Sound Computational Interpretation of Formal Hashes.
  In: Proceedings of IWSEC 2006, LNCS 4266, 33-47, Springer, 2006.
  [ pdf | doi | bib ]
  

• Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum and Roberto Sebastiani.
  Efficient Theory Combination via Boolean Search.
  Information and Computation 204(10), 1493-1525, Elsevier, 2006.
  [ pdf | doi | bib ]

• Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz and Roberto Sebastiani.
  MathSAT: A Tight Integration of SAT and Mathematical Decision Procedure.
  Journal of Automated Reasoning 35, 265-293, Kluwer, 2005.
  [ pdf | doi | bib ]

• Flavio D. Garcia, Ichiro Hasuo, Peter van Rossum and Wolter Pieters.
  Provable Anonymity.
  In: Proceedings of FMSE 2005, 63-72, ACM, 2005.
  [ pdf | doi | bib ]

• Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz and Roberto Sebastiani.
  The MathSAT 3 System.
  In: Proceedings of CADE 2005, LNAI 3632, 315-321, Springer, 2005.
  [ pdf | doi | bib ]

• Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum and Roberto Sebastiani.
  Efficient Satisfiability Modulo Theories via Delayed Theory Combination.
  In: Proceedings of CAV 2005, LNCS 3576, 335-349, Springer, 2005.
  [ pdf | doi | bib ]

• Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz and Roberto Sebastiani.
  An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
  In: Proceedings of TACAS 2005, LNCS 3440, 317-333, Springer, 2005.
  [ pdf | bib ]