The MathSAT 3 System. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (CADE, 2005)

Efficient Satisfiability Modulo Theories via Delayed Theory Combination. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani (CAV, 2005)

Provable anonymity. - Flavio D. Garcia; Ichiro Hasuo; Wolter Pieters; Peter van Rossum (FMSE, 2005)

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (TACAS, 2005)

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (J. Autom. Reason., 2005)

Sound Computational Interpretation of Symbolic Hashes in the Standard Model. - Flavio D. Garcia; Peter van Rossum (IWSEC, 2006)

Sound Computational Interpretation of Formal Hashes. - Flavio D. Garcia; Peter van Rossum (IACR Cryptol. ePrint Arch., 2006)

Completeness of Formal Hashes in the Standard Model. - Flavio D. Garcia; Peter van Rossum (IACR Cryptol. ePrint Arch., 2006)

Efficient theory combination via boolean search. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani (Inf. Comput., 2006)

Probabilistic Anonymity and Admissible Schedulers - Flavio D. Garcia; Peter van Rossum; Ana Sokolova (CoRR, 2007)

Dismantling MIFARE Classic. - Flavio D. Garcia; Gerhard de Koning Gans; Ruben Muijrers; Peter van Rossum; Roel Verdult; Ronny Wichers Schreur; Bart Jacobs 001 (ESORICS, 2008)

Significant Diagnostic Counterexamples in Probabilistic Model Checking. - Miguel E. Andrés; Pedro R. D'Argenio; Peter van Rossum (Haifa Verification Conference, 2008)

Computational Soundness of Non-Malleable Commitments. - David Galindo; Flavio D. Garcia; Peter van Rossum (ISPEC, 2008)

Conditional Probabilities over Probabilistic and Nondeterministic Systems. - Miguel E. Andrés; Peter van Rossum (TACAS, 2008)

Sound and complete computational interpretation of symbolic hashes in the standard model. - Flavio D. Garcia; Peter van Rossum (Theor. Comput. Sci., 2008)

Client-Server Password Recovery. - Lukasz Chmielewski; Jaap-Henk Hoepman; Peter van Rossum (OTM Conferences (2), 2009)

Wirelessly Pickpocketing a Mifare Classic Card. - Flavio D. Garcia; Peter van Rossum; Roel Verdult; Ronny Wichers Schreur (SP, 2009)

Client-Server Password Recovery (Extended Abstract) - Lukasz Chmielewski; Jaap-Henk Hoepman; Peter van Rossum (CoRR, 2009)

Modeling Privacy for Off-Line RFID Systems. - Flavio D. Garcia; Peter van Rossum (CARDIS, 2010)

Safe Equivalences for Security Properties. - Mário S. Alvim; Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum (IFIP TCS, 2010)

Computing the Leakage of Information-Hiding Systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Geoffrey Smith 001 (TACAS, 2010)

Dismantling SecureMemory, CryptoMemory and CryptoRF. - Flavio D. Garcia; Peter van Rossum; Roel Verdult; Ronny Wichers Schreur (IACR Cryptol. ePrint Arch., 2010)

Information hiding in probabilistic concurrent systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Ana Sokolova (Theor. Comput. Sci., 2011)