Peter van Rossum

According to our database, Peter van Rossum authored at least 23 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Information hiding in probabilistic concurrent systems.

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova

Theor. Comput. Sci., 2011

2010

Dismantling SecureMemory, CryptoMemory and CryptoRF.

Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur

IACR Cryptol. ePrint Arch., 2010

Computing the Leakage of Information-Hiding Systems.

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Safe Equivalences for Security Properties.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum

Proceedings of the Theoretical Computer Science, 2010

Modeling Privacy for Off-Line RFID Systems.

Flavio D. Garcia, Peter van Rossum

Proceedings of the Smart Card Research and Advanced Application, 2010

2009

Client-Server Password Recovery (Extended Abstract)

Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum

CoRR, 2009

Wirelessly Pickpocketing a Mifare Classic Card.

Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Client-Server Password Recovery.

Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

2008

Sound and complete computational interpretation of symbolic hashes in the standard model.

Flavio D. Garcia, Peter van Rossum

Theor. Comput. Sci., 2008

Conditional Probabilities over Probabilistic and Nondeterministic Systems.

Miguel E. Andrés, Peter van Rossum

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Computational Soundness of Non-Malleable Commitments.

David Galindo, Flavio D. Garcia, Peter van Rossum

Proceedings of the Information Security Practice and Experience, 2008

Significant Diagnostic Counterexamples in Probabilistic Model Checking.

Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum

Proceedings of the Hardware and Software: Verification and Testing, 2008

Dismantling MIFARE Classic.

Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs

Proceedings of the Computer Security, 2008

2007

Probabilistic Anonymity and Admissible Schedulers

Flavio D. Garcia, Peter van Rossum, Ana Sokolova

CoRR, 2007

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

Completeness of Formal Hashes in the Standard Model.

Flavio D. Garcia, Peter van Rossum

IACR Cryptol. ePrint Arch., 2006

Sound Computational Interpretation of Formal Hashes.

Flavio D. Garcia, Peter van Rossum

IACR Cryptol. ePrint Arch., 2006

Sound Computational Interpretation of Symbolic Hashes in the Standard Model.

Flavio D. Garcia, Peter van Rossum

Proceedings of the Advances in Information and Computer Security, 2006

2005

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

J. Autom. Reason., 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, Roberto Sebastiani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Provable anonymity.

Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

The MathSAT 3 System.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Proceedings of the Automated Deduction, 2005