Peter van Rossum

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412 (28) (2011)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Dismantling SecureMemory, CryptoMemory and CryptoRF. CCS (2010)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information Hiding in Probabilistic Concurrent Systems. QEST (2010)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Dismantling SecureMemory, CryptoMemory and CryptoRF. IACR Cryptol. ePrint Arch. 2010 (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
Safe Equivalences for Security Properties. IFIP TCS (2010)
Flavio D. Garcia, Peter van Rossum
Modeling Privacy for Off-Line RFID Systems. CARDIS (2010)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
Computing the Leakage of Information-Hiding Systems. TACAS (2010)
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
Wirelessly Pickpocketing a Mifare Classic Card. IEEE Symposium on Security and Privacy (2009)
Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum
Client-Server Password Recovery (Extended Abstract) CoRR (2009)
Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum
Client-Server Password Recovery. OTM Conferences (2) (2009)
Miguel E. Andrés, Peter van Rossum
Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS (2008)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference (2008)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR (2008)
David Galindo, Flavio D. Garcia, Peter van Rossum
Computational Soundness of Non-Malleable Commitments. ISPEC (2008)
Flavio D. Garcia, Peter van Rossum
Sound and complete computational interpretation of symbolic hashes in the standard model. Theor. Comput. Sci. 394 (1-2) (2008)
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
Dismantling MIFARE Classic. ESORICS (2008)
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
Probabilistic Anonymity and Admissible Schedulers CoRR (2007)
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) (2006)
Flavio D. Garcia, Peter van Rossum
Completeness of Formal Hashes in the Standard Model. IACR Cryptol. ePrint Arch. 2006 (2006)
Flavio D. Garcia, Peter van Rossum
Sound Computational Interpretation of Formal Hashes. IACR Cryptol. ePrint Arch. 2006 (2006)
Flavio D. Garcia, Peter van Rossum
Sound Computational Interpretation of Symbolic Hashes in the Standard Model. IWSEC (2006)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
The MathSAT 3 System. CADE (2005)
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. Reason. 35 (1-3) (2005)
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)
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum
Provable anonymity. FMSE (2005)
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)