Olivier Pereira

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 61

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

Financial Cryptography Workshops

Proc. Priv. Enhancing Technol.

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Josh Benaloh, Michael Naehrig, Olivier Pereira, Dan S. Wallach
ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections. USENIX Security Symposium (2024)
Josh Benaloh, Michael Naehrig, Olivier Pereira
REACTIVE: Rethinking Effective Approaches Concerning Trustees in Verifiable Elections. IACR Cryptol. ePrint Arch. 2024 (2024)
Josh Benaloh, Michael Naehrig, Olivier Pereira, Dan S. Wallach
ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections. IACR Cryptol. ePrint Arch. 2024 (2024)
Thi Van Thao Doan, Olivier Pereira, Thomas Peters
Encryption Mechanisms for Receipt-Free and Perfectly Private Verifiable Elections. ACNS (1) (2024)
Henri Devillez, Olivier Pereira, Thomas Peters
Verifiable and Private Vote-by-Mail. IACR Cryptol. ePrint Arch. 2024 (2024)
Henri Devillez, Olivier Pereira, Thomas Peters
Practical Traceable Receipt-Free Encryption. IACR Cryptol. ePrint Arch. 2024 (2024)
Louis Navarre, Olivier Pereira, Olivier Bonaventure
MCQUIC: Multicast and unicast in a single transport protocol. CoRR (2023)
Olivier Pereira
Individual Verifiability and Revoting in the Estonian Internet Voting System. Financial Cryptography Workshops (2022)
Thomas Haines, Olivier Pereira, Vanessa Teague
Running the Race: A Swiss Voting Story. E-Vote-ID (2022)
Henri Devillez, Olivier Pereira, Thomas Peters
How to Verifiably Encrypt Many Bits for an Election? ESORICS (2) (2022)
Henri Devillez, Olivier Pereira, Thomas Peters
How to Verifiably Encrypt Many Bits for an Election? IACR Cryptol. ePrint Arch. 2022 (2022)
Henri Devillez, Olivier Pereira, Thomas Peters
Traceable Receipt-Free Encryption. IACR Cryptol. ePrint Arch. 2022 (2022)
Henri Devillez, Olivier Pereira, Thomas Peters
Traceable Receipt-Free Encryption. ASIACRYPT (3) (2022)
Olivier Pereira
Individual Verifiability and Revoting in the Estonian Internet Voting System. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
How not to prove your election outcome. IEEE Symposium on Security and Privacy (2020)
Thien-Nam Dinh, Florentin Rochet, Olivier Pereira, Dan S. Wallach
Scaling Up Anonymous Communication with Efficient Nanopayment Channels. Proc. Priv. Enhancing Technol. 2020 (3) (2020)
Eleanor McMurtry, Olivier Pereira, Vanessa Teague
When Is a Test Not a Proof? ESORICS (2) (2020)
Florentin Rochet, Ryan Wails, Aaron Johnson, Prateek Mittal, Olivier Pereira
CLAPS: Client-Location-Aware Path Selection in Tor. CCS (2020)
Davide Bellizia, Olivier Bronchain, Gaëtan Cassiers, Vincent Grosso, Chun Guo, Charles Momin, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Mode-Level vs. Implementation-Level Physical Security in Symmetric Cryptography: A Practical Guide Through the Leakage-Resistance Jungle. IACR Cryptol. ePrint Arch. 2020 (2020)
Davide Bellizia, Olivier Bronchain, Gaëtan Cassiers, Vincent Grosso, Chun Guo, Charles Momin, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Mode-Level vs. Implementation-Level Physical Security in Symmetric Cryptography - A Practical Guide Through the Leakage-Resistance Jungle. CRYPTO (1) (2020)
Davide Bellizia, Francesco Berti, Olivier Bronchain, Gaëtan Cassiers, Sébastien Duval, Chun Guo, Gregor Leander, Gaëtan Leurent, Itamar Levi, Charles Momin, Olivier Pereira, Thomas Peters, François-Xavier Standaert, Balazs Udvarhelyi, Friedrich Wiemer
Spook: Sponge-Based Leakage-Resistant Authenticated Encryption with a Masked Tweakable Block Cipher. IACR Trans. Symmetric Cryptol. 2020 (S1) (2020)
Eleanor McMurtry, Olivier Pereira, Vanessa Teague
When is a test not a proof? IACR Cryptol. ePrint Arch. 2020 (2020)
Francesco Berti, Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
TEDT, a Leakage-Resist AEAD Mode for High Physical Security Applications. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020 (1) (2020)
Thomas Haines, Olivier Pereira, Peter B. Rønne
Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities. Financial Cryptography Workshops (2020)
Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Towards Low-Energy Leakage-Resistant Authenticated Encryption from the Duplex Sponge Construction. IACR Trans. Symmetric Cryptol. 2020 (1) (2020)
Gaëtan Cassiers, Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
SpookChain: Chaining a Sponge-Based AEAD with Beyond-Birthday Security. SPACE (2019)
Francesco Berti, Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Strong Authenticity with Leakage Under Weak and Falsifiable Physical Assumptions. Inscrypt (2019)
Francesco Berti, Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Strong Authenticity with Leakage under Weak and Falsifiable Physical Assumptions. IACR Cryptol. ePrint Arch. 2019 (2019)
Chris Culnane, Aleksander Essex, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
Knights and Knaves Run Elections: Internet Voting and Undetectable Electoral Fraud. IEEE Secur. Priv. 17 (4) (2019)
Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Towards Lightweight Side-Channel Security and the Leakage-Resilience of the Duplex Sponge. IACR Cryptol. ePrint Arch. 2019 (2019)
Olivier Pereira, Peter B. Rønne
End-to-End Verifiable Quadratic Voting with Everlasting Privacy. Financial Cryptography Workshops (2019)
Francesco Berti, Olivier Pereira, François-Xavier Standaert
Reducing the Cost of Authenticity with Leakages: a \mathsf CIML2 -Secure \mathsf AE Scheme with One Call to a Strongly Protected Tweakable Block Cipher. AFRICACRYPT (2019)
Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Authenticated Encryption with Nonce Misuse and Physical Leakage: Definitions, Separation Results and First Construction - (Extended Abstract). LATINCRYPT (2019)
Francesco Berti, Olivier Pereira, François-Xavier Standaert
Reducing the Cost of Authenticity with Leakages: a CIML2-Secure AE Scheme with One Call to a Strongly Protected Tweakable Block Cipher. IACR Cryptol. ePrint Arch. 2019 (2019)
Kim Ramchen, Chris Culnane, Olivier Pereira, Vanessa Teague
Universally Verifiable MPC and IRV Ballot Counting. Financial Cryptography (2019)
Francesco Berti, Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
TEDT, a Leakage-Resilient AEAD mode for High (Physical) Security Applications. IACR Cryptol. ePrint Arch. 2019 (2019)
Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure
Pluginizing QUIC. SIGCOMM (2019)
Florentin Rochet, Kyriakos Efthymiadis, François Koeune, Olivier Pereira
SWAT: Seamless Web Authentication Technology. WWW (2019)
Florentin Rochet, Olivier Bonaventure, Olivier Pereira
Flexible Anonymous Network. CoRR (2019)
Francesco Berti, Olivier Pereira, Thomas Peters
Reconsidering Generic Composition: The Tag-then-Encrypt Case. INDOCRYPT (2018)
Florentin Rochet, Olivier Pereira
Dropping on the Edge: Flexibility and Traffic Confirmation in Onion Routing Protocols. Proc. Priv. Enhancing Technol. 2018 (2) (2018)
Lionel Dricot, Olivier Pereira
SoK: Uncentralisable Ledgers and their Impact on Voting Systems. CoRR (2018)
Chris Culnane, Olivier Pereira, Kim Ramchen, Vanessa Teague
Universally Verifiable MPC with Applications to IRV Ballot Counting. IACR Cryptol. ePrint Arch. 2018 (2018)
Francesco Berti, Olivier Pereira, Thomas Peters
Reconsidering Generic Composition: the Tag-then-Encrypt case. IACR Cryptol. ePrint Arch. 2018 (2018)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94 (2018)
Francesco Berti, François Koeune, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Ciphertext Integrity with Misuse and Leakage: Definition and Efficient Constructions with Symmetric Primitives. AsiaCCS (2018)
Chun Guo, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Leakage-Resilient Authenticated Encryption with Misuse in the Leveled Leakage Setting: Definitions, Separation Results, and Constructions. IACR Cryptol. ePrint Arch. 2018 (2018)
Olivier Pereira, Florentin Rochet, Cyrille Wiedling
Formal Analysis of the FIDO 1.x Protocol. FPS (2017)
Florentin Rochet, Olivier Pereira
Waterfilling: Balancing the Tor network with maximum diversity. Proc. Priv. Enhancing Technol. 2017 (2) (2017)
Olivier Pereira, Ronald L. Rivest
Marked Mix-Nets. Financial Cryptography Workshops (2017)
Mathieu Jadin, Gautier Tihon, Olivier Pereira, Olivier Bonaventure
Securing multipath TCP: Design & implementation. INFOCOM (2017)
Olivier Pereira, Dan S. Wallach
Clash Attacks and the STAR-Vote System. E-VOTE-ID (2017)
Francesco Berti, Olivier Pereira, Thomas Peters, François-Xavier Standaert
On Leakage-Resilient Authenticated Encryption with Decryption Leakages. IACR Trans. Symmetric Cryptol. 2017 (3) (2017)
Edouard Cuvelier, Olivier Pereira
Verifiable Multi-party Computation with Perfectly Private Audit Trail. ACNS (2016)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. IACR Cryptol. ePrint Arch. 2016 (2016)
Florentin Rochet, Olivier Pereira
Waterfiling: Balancing the Tor network with maximum diversity. CoRR (2016)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
Francesco Berti, François Koeune, Olivier Pereira, Thomas Peters, François-Xavier Standaert
Leakage-Resilient and Misuse-Resistant Authenticated Encryption. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
A comprehensive analysis of game-based ballot privacy definitions. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. IEEE Symposium on Security and Privacy (2015)
Olivier Pereira, François-Xavier Standaert, Srinivas Vivek
Leakage-Resilient Authentication and Encryption from Symmetric Cryptographic Primitives. CCS (2015)
Olivier Pereira
Verifiable Elections with Commitment Consistent Encryption - A Primer. CoRR (2014)
Edouard Cuvelier, Olivier Pereira, Thomas Peters
Election Verifiability or Ballot Privacy: Do We Need to Choose? ESORICS (2013)
Josh Benaloh, Michael D. Byrne, Bryce Eakin, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Gail Fisher, Julian Montoya, Michelle Parker, Michael Winn
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System. EVT/WOTE (2013)
Edouard Cuvelier, Olivier Pereira, Thomas Peters
Election Verifiability or Ballot Privacy: Do We Need to Choose? IACR Cryptol. ePrint Arch. 2013 (2013)
Abdelrahaman Aly, Edouard Cuvelier, Sophie Mawet, Olivier Pereira, Mathieu Van Vyve
Securely Solving Simple Combinatorial Graph Problems. Financial Cryptography (2013)
Paolo Palmieri, Olivier Pereira
Unconditionally Secure Oblivious Transfer from Real Network Behavior. IWSEC (2013)
François-Xavier Standaert, Olivier Pereira, Yu Yu
Leakage-Resilient Symmetric Cryptography Under Empirically Verifiable Assumptions. IACR Cryptol. ePrint Arch. 2013 (2013)
François-Xavier Standaert, Olivier Pereira, Yu Yu
Leakage-Resilient Symmetric Cryptography under Empirically Verifiable Assumptions. CRYPTO (1) (2013)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. ASIACRYPT (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
Measuring vote privacy, revisited. CCS (2012)
David Bernhard, Olivier Pereira, Bogdan Warinschi
On Necessary and Sufficient Conditions for Private Ballot Submission. IACR Cryptol. ePrint Arch. 2012 (2012)
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 (2012)
Philippe Bulens, Damien Giry, Olivier Pereira
Running Mixnet-Based Elections with Helios. EVT/WOTE (2011)
Laurie Haustenne, Quentin De Neyer, Olivier Pereira
Elliptic Curve Cryptography in JavaScript. IACR Cryptol. ePrint Arch. 2011 (2011)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for Provable Ballot Privacy. ESORICS (2011)
Paolo Palmieri, Olivier Pereira
Secure Two-Party Computation over a Z-Channel. ProvSec (2011)
Boaz Barak, Yevgeniy Dodis, Hugo Krawczyk, Olivier Pereira, Krzysztof Pietrzak, François-Xavier Standaert, Yu Yu
Leftover Hash Lemma, Revisited. CRYPTO (2011)
Paolo Palmieri, Olivier Pereira
Implementing Information-Theoretically Secure Oblivious Transfer from Packet Reordering. ICISC (2011)
Olivier Pereira
Ballot Aggregation and Mixnet Based Open-Audit Elections - (Extended Abstract). EuroPKI (2011)
Boaz Barak, Yevgeniy Dodis, Hugo Krawczyk, Olivier Pereira, Krzysztof Pietrzak, François-Xavier Standaert, Yu Yu
Leftover Hash Lemma, Revisited. IACR Cryptol. ePrint Arch. 2011 (2011)
Paolo Palmieri, Olivier Pereira
Building Oblivious Transfer on Channel Delays. Inscrypt (2010)
Sébastien Canard, Iwen Coisel, Giacomo de Meulenaer, Olivier Pereira
Group Signatures are Suitable for Constrained Devices. ICISC (2010)
Yu Yu, François-Xavier Standaert, Olivier Pereira, Moti Yung
Practical leakage-resilient pseudorandom generators. CCS (2010)
Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater
Electing a University President Using Open-Audit Voting: Analysis of Real-World Use of Helios. EVT/WOTE (2009)
Stéphanie Delaune, Steve Kremer, Olivier Pereira
Simulation based security in the applied pi calculus. IACR Cryptol. ePrint Arch. 2009 (2009)
Stéphanie Delaune, Steve Kremer, Olivier Pereira
Simulation based security in the applied pi calculus. FSTTCS (2009)
François-Xavier Standaert, Olivier Pereira, Yu Yu, Jean-Jacques Quisquater, Moti Yung, Elisabeth Oswald
Leakage Resilient Cryptography in Practice. IACR Cryptol. ePrint Arch. 2009 (2009)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18 (1) (2008)
Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk
Universally Composable Security Analysis of TLS. ProvSec (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. CONCUR (2008)
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)
Tadashi Araragi, Olivier Pereira
Automatic Verification of Simulatability in Security Protocols. IAS (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. Theoretical Foundations of Practical Information Security (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptol. ePrint Arch. 2008 (2008)
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)
Chong Hee Kim, Gildas Avoine, François Koeune, François-Xavier Standaert, Olivier Pereira
The Swiss-Knife RFID Distance Bounding Protocol. ICISC (2008)
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 Cryptol. ePrint Arch. 2008 (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. IACR Cryptol. ePrint Arch. 2007 (2007)
Christophe Petit, François-Xavier Standaert, Olivier Pereira, Tal Malkin, Moti Yung
A Block Cipher based PRNG Secure Against Side-Channel Key Recovery. IACR Cryptol. ePrint Arch. 2007 (2007)

Olivier Pereira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier Pereira