Peter van Rossum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2005–2010
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CARDIS | Modeling Privacy for Off-Line RFID Systems. | Flavio D. Garcia, Peter van Rossum |
| 2010 | CCS | Dismantling SecureMemory, CryptoMemory and CryptoRF. | Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur |
| 2010 | TACAS | Computing the Leakage of Information-Hiding Systems. | Miguel E. Andrs, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
| 2009 | SP | Wirelessly Pickpocketing a Mifare Classic Card. | Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur |
| 2008 | ESORICS | Dismantling MIFARE Classic. | Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs |
| 2008 | ISPEC | Computational Soundness of Non-Malleable Commitments. | David Galindo, Flavio D. Garcia, Peter van Rossum |
| 2008 | TACAS | Conditional Probabilities over Probabilistic and Nondeterministic Systems. | Miguel E. Andrs, Peter van Rossum |
| 2006 | IWSEC | Sound Computational Interpretation of Symbolic Hashes in the Standard Model. | Flavio D. Garcia, Peter van Rossum |
| 2005 | CADE | The MathSAT 3 System. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | CAV | Efficient Satisfiability Modulo Theories via Delayed Theory Combination. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
| 2005 | CCS | Provable anonymity. | Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum |
| 2005 | TACAS | 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 |