Peter van Rossum

26 papers A* 3A 5C 2Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2011 J jnl
Information hiding in probabilistic concurrent systems.
Theor. Comput. Sci.
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2010 A conf
Computing the Leakage of Information-Hiding Systems.
TACAS
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
2010 A* conf
Dismantling SecureMemory, CryptoMemory and CryptoRF.
CCS
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2010 J jnl
Dismantling SecureMemory, CryptoMemory and CryptoRF.
IACR Cryptol. ePrint Arch.
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2010 — conf
Information Hiding in Probabilistic Concurrent Systems.
QEST
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2010 C conf
Modeling Privacy for Off-Line RFID Systems.
CARDIS
Flavio D. Garcia, Peter van Rossum
2010 — conf
Safe Equivalences for Security Properties.
IFIP TCS
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
2009 J jnl
Client-Server Password Recovery (Extended Abstract)
CoRR
Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum
2009 — conf
Client-Server Password Recovery.
OTM Conferences (2)
Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum
2009 A* conf
Wirelessly Pickpocketing a Mifare Classic Card.
SP
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
2008 C conf
Computational Soundness of Non-Malleable Commitments.
ISPEC
David Galindo, Flavio D. Garcia, Peter van Rossum
2008 A conf
Conditional Probabilities over Probabilistic and Nondeterministic Systems.
TACAS
Miguel E. Andrés, Peter van Rossum
2008 A conf
Dismantling MIFARE Classic.
ESORICS
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
2008 J jnl
Significant Diagnostic Counterexamples in Probabilistic Model Checking
CoRR
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
2008 — conf
Significant Diagnostic Counterexamples in Probabilistic Model Checking.
Haifa Verification Conference
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
2008 J jnl
Sound and complete computational interpretation of symbolic hashes in the standard model.
Theor. Comput. Sci.
Flavio D. Garcia, Peter van Rossum
2007 J jnl
Probabilistic Anonymity and Admissible Schedulers
CoRR
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
2006 J jnl
Completeness of Formal Hashes in the Standard Model.
IACR Cryptol. ePrint Arch.
Flavio D. Garcia, Peter van Rossum
2006 J jnl
Efficient theory combination via boolean search.
Inf. Comput.
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
2006 J jnl
Sound Computational Interpretation of Formal Hashes.
IACR Cryptol. ePrint Arch.
Flavio D. Garcia, Peter van Rossum
2006 Misc conf
Sound Computational Interpretation of Symbolic Hashes in the Standard Model.
IWSEC
Flavio D. Garcia, Peter van Rossum
2005 A conf
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
TACAS
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
2005 A* conf
Efficient Satisfiability Modulo Theories via Delayed Theory Combination.
CAV
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
2005 J jnl
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.
J. Autom. Reason.
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
2005 — conf
Provable anonymity.
FMSE
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum
2005 A conf
The MathSAT 3 System.
CADE
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani