Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Olivier Pereira
2010 – today
- 2013
[i14]Edouard Cuvelier, Olivier Pereira, Thomas Peters: Election Verifiability or Ballot Privacy: Do We Need to Choose? IACR Cryptology ePrint Archive 2013: 216 (2013)- 2012
- [c24]David Bernhard, Olivier Pereira, Bogdan Warinschi: How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. ASIACRYPT 2012: 626-643
- [c23]David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi: Measuring vote privacy, revisited. ACM Conference on Computer and Communications Security 2012: 941-952
- [i13]Josh Benaloh, Mike Byrne, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach: STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System. CoRR abs/1211.1904 (2012)
- [i12]David Bernhard, Olivier Pereira, Bogdan Warinschi: On Necessary and Sufficient Conditions for Private Ballot Submission. IACR Cryptology ePrint Archive 2012: 236 (2012)
- 2011
- [c22]Boaz Barak, Yevgeniy Dodis, Hugo Krawczyk, Olivier Pereira, Krzysztof Pietrzak, François-Xavier Standaert, Yu Yu: Leftover Hash Lemma, Revisited. CRYPTO 2011: 1-20
- [c21]David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi: Adapting Helios for Provable Ballot Privacy. ESORICS 2011: 335-354
- [c20]Olivier Pereira: Ballot Aggregation and Mixnet Based Open-Audit Elections - (Extended Abstract). EuroPKI 2011: 123-127
- [c19]Paolo Palmieri, Olivier Pereira: Implementing Information-Theoretically Secure Oblivious Transfer from Packet Reordering. ICISC 2011: 332-345
- [c18]
- [i11]Boaz Barak, Yevgeniy Dodis, Hugo Krawczyk, Olivier Pereira, Krzysztof Pietrzak, François-Xavier Standaert, Yu Yu: Leftover Hash Lemma, Revisited. IACR Cryptology ePrint Archive 2011: 88 (2011)
- [i10]Laurie Haustenne, Quentin De Neyer, Olivier Pereira: Elliptic Curve Cryptography in JavaScript. IACR Cryptology ePrint Archive 2011: 654 (2011)
- 2010
- [c17]Yu Yu, François-Xavier Standaert, Olivier Pereira, Moti Yung: Practical leakage-resilient pseudorandom generators. ACM Conference on Computer and Communications Security 2010: 141-151
- [c16]Paolo Palmieri, Olivier Pereira: Building Oblivious Transfer on Channel Delays. Inscrypt 2010: 125-138
- [c15]Sébastien Canard, Iwen Coisel, Giacomo de Meulenaer, Olivier Pereira: Group Signatures are Suitable for Constrained Devices. ICISC 2010: 133-150
2000 – 2009
- 2009
- [c14]Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. FSTTCS 2009: 169-180
- [i9]Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. IACR Cryptology ePrint Archive 2009: 267 (2009)
- [i8]François-Xavier Standaert, Olivier Pereira, Yu Yu, Jean-Jacques Quisquater, Moti Yung, Elisabeth Oswald: Leakage Resilient Cryptography in Practice. IACR Cryptology ePrint Archive 2009: 341 (2009)
- 2008
- [j4]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discrete Event Dynamic Systems 18(1): 111-159 (2008)
- [c13]Tadashi Araragi, Olivier Pereira: Automatic Verification of Simulatability in Security Protocols. IAS 2008: 275-280
- [c12]Christophe Petit, François-Xavier Standaert, Olivier Pereira, Tal Malkin, Moti Yung: A block cipher based pseudo random number generator secure against side-channel key recovery. ASIACCS 2008: 56-65
- [c11]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. CONCUR 2008: 114-130
- [c10]Chong Hee Kim, Gildas Avoine, François Koeune, François-Xavier Standaert, Olivier Pereira: The Swiss-Knife RFID Distance Bounding Protocol. ICISC 2008: 98-115
- [c9]Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk: Universally Composable Security Analysis of TLS. ProvSec 2008: 313-327
- [c8]Giacomo de Meulenaer, François Gosset, François-Xavier Standaert, Olivier Pereira: On the Energy Cost of Communication and Cryptography in Wireless Sensor Networks. WiMob 2008: 580-585
- [i7]Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk: Universally Composable Security Analysis of TLS - Secure Sessions with Handshake and Record Layer Protocols. IACR Cryptology ePrint Archive 2008: 251 (2008)
- [i6]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptology ePrint Archive 2008: 492 (2008)
- 2007
- [c7]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Compositional Security for Task-PIOAs. CSF 2007: 125-139
- [c6]Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater: Simulation-based analysis of E2E voting systems. Frontiers of Electronic Voting 2007
- [c5]Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater: Simulation-Based Analysis of E2E Voting Systems. VOTE-ID 2007: 137-149
- [i5]Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira: On the Role of Scheduling in Simulation-Based Security. IACR Cryptology ePrint Archive 2007: 102 (2007)
- [i4]Ling Cheung, Sayan Mitra, Olivier Pereira: Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptology ePrint Archive 2007: 195 (2007)
- [i3]Christophe Petit, François-Xavier Standaert, Olivier Pereira, Tal Malkin, Moti Yung: A Block Cipher based PRNG Secure Against Side-Channel Key Recovery. IACR Cryptology ePrint Archive 2007: 356 (2007)
- [i2]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. IACR Cryptology ePrint Archive 2007: 406 (2007)
- 2006
- [j3]Olivier Pereira, Jean-Jacques Quisquater: On the impossibility of building secure Cliques-type authenticated group key agreement protocols. Journal of Computer Security 14(2): 197-246 (2006)
- [c4]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC 2006: 238-253
- 2005
- [i1]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptology ePrint Archive 2005: 452 (2005)
- 2004
- [c3]Olivier Pereira, Jean-Jacques Quisquater: Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols. CSFW 2004: 16-19
- 2003
- [j2]Olivier Pereira, Jean-Jacques Quisquater: Some Attacks Upon Authenticated Group Key Agreement Protocols. Journal of Computer Security 11(4): 555-580 (2003)
- 2001
- [j1]Olivier Pereira, Laurence A. Wolsey: On the Wagner-Whitin Lot-Sizing Polyhedron. Math. Oper. Res. 26(3): 591-600 (2001)
- [c2]Olivier Pereira, Jean-Jacques Quisquater: A Security Analysis of the Cliques Protocols Suites. CSFW 2001: 73-81
- [c1]Olivier Pereira, Jean-Jacques Quisquater: Security Analysis of the Cliques Protocols Suites: First Results. SEC 2001: 151-166
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-13 21:39 CEST by the dblp team