Olivier Pereira

Proceedings of the Progress in Cryptology - AFRICACRYPT 2019, 2019

2018

Dropping on the Edge: Flexibility and Traffic Confirmation in Onion Routing Protocols.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2018

Task-structured probabilistic I/O automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2018

Leakage-Resilient Authenticated Encryption with Misuse in the Leveled Leakage Setting: Definitions, Separation Results, and Constructions.

[BibT_eX]

[DOI]

Chun Guo

IACR Cryptol. ePrint Arch., 2018

Universally Verifiable MPC with Applications to IRV Ballot Counting.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Reconsidering Generic Composition: the Tag-then-Encrypt case.

[BibT_eX]

[DOI]

Francesco Berti

IACR Cryptol. ePrint Arch., 2018

SoK: Uncentralisable Ledgers and their Impact on Voting Systems.

[BibT_eX]

[DOI]

Lionel Dricot

CoRR, 2018

Ciphertext Integrity with Misuse and Leakage: Definition and Efficient Constructions with Symmetric Primitives.

[BibT_eX]

[DOI]

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

2017

On Leakage-Resilient Authenticated Encryption with Decryption Leakages.

[BibT_eX]

[DOI]

Francesco Berti

IACR Trans. Symmetric Cryptol., 2017

Waterfilling: Balancing the Tor network with maximum diversity.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2017

Clash Attacks and the STAR-Vote System.

[BibT_eX]

[DOI]

Dan S. Wallach

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Securing multipath TCP: Design & implementation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Formal Analysis of the FIDO 1.x Protocol.

[BibT_eX]

[DOI]

Cyrille Wiedling

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

Marked Mix-Nets.

[BibT_eX]

[DOI]

Ronald L. Rivest

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Leakage-Resilient and Misuse-Resistant Authenticated Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.

[BibT_eX]

[DOI]

David Bernhard

Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Adapting Helios for provable ballot privacy.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Waterfiling: Balancing the Tor network with maximum diversity.

[BibT_eX]

[DOI]

CoRR, 2016

Verifiable Multi-party Computation with Perfectly Private Audit Trail.

[BibT_eX]

[DOI]

Edouard Cuvelier

Proceedings of the Applied Cryptography and Network Security, 2016

2015

A comprehensive analysis of game-based ballot privacy definitions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Leakage-Resilient Authentication and Encryption from Symmetric Cryptographic Primitives.

[BibT_eX]

[DOI]

Srinivas Vivek

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Verifiable Elections with Commitment Consistent Encryption - A Primer.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Leakage-Resilient Symmetric Cryptography Under Empirically Verifiable Assumptions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Election Verifiability or Ballot Privacy: Do We Need to Choose?

[BibT_eX]

[DOI]

Edouard Cuvelier

IACR Cryptol. ePrint Arch., 2013

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.

[BibT_eX]

[DOI]

Proceedings of the 2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2013

Unconditionally Secure Oblivious Transfer from Real Network Behavior.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2013

Securely Solving Simple Combinatorial Graph Problems.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2013

2012

On Necessary and Sufficient Conditions for Private Ballot Submission.

[BibT_eX]

[DOI]

David Bernhard

Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2012

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System

[BibT_eX]

[DOI]

CoRR, 2012

Measuring vote privacy, revisited.

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Elliptic Curve Cryptography in JavaScript.

[BibT_eX]

[DOI]

Laurie Haustenne

Quentin De Neyer

IACR Cryptol. ePrint Arch., 2011

Leftover Hash Lemma, Revisited.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Running Mixnet-Based Elections with Helios.

[BibT_eX]

[DOI]

Philippe Bulens

Damien Giry

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2011

Secure Two-Party Computation over a Z-Channel.

[BibT_eX]

[DOI]

Proceedings of the Provable Security - 5th International Conference, 2011

Implementing Information-Theoretically Secure Oblivious Transfer from Packet Reordering.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - ICISC 2011 - 14th International Conference, Seoul, Korea, November 30, 2011

Ballot Aggregation and Mixnet Based Open-Audit Elections - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Public Key Infrastructures, Services and Applications, 2011

2010

Leakage Resilient Cryptography in Practice.

[BibT_eX]

[DOI]

Elisabeth Oswald

Proceedings of the Towards Hardware-Intrinsic Security - Foundations and Practice, 2010

Group Signatures are Suitable for Constrained Devices.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - ICISC 2010, 2010

Building Oblivious Transfer on Channel Delays.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - 6th International Conference, 2010

Practical leakage-resilient pseudorandom generators.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Leakage Resilient Cryptography in Practice.

[BibT_eX]

[DOI]

Elisabeth Oswald

IACR Cryptol. ePrint Arch., 2009

Simulation based security in the applied pi calculus.

[BibT_eX]

[DOI]

Stéphanie Delaune

Steve Kremer

IACR Cryptol. ePrint Arch., 2009

Electing a University President Using Open-Audit Voting: Analysis of Real-World Use of Helios.

[BibT_eX]

[DOI]

Olivier de Marneffe

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009

2008

Universally Composable Security Analysis of TLS - Secure Sessions with Handshake and Record Layer Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Modeling Computational Security in Long-Lived Systems, Version 2.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAs.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2008

On the Energy Cost of Communication and Cryptography in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Giacomo de Meulenaer

François Gosset

Proceedings of the IEEE International Conference on Wireless and Mobile Computing, 2008

Universally Composable Security Analysis of TLS.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, Second International Conference, 2008

The Swiss-Knife RFID Distance Bounding Protocol.

[BibT_eX]

[DOI]

Chong Hee Kim

Gildas Avoine

François Koeune

Proceedings of the Information Security and Cryptology, 2008

A block cipher based pseudo random number generator secure against side-channel key recovery.

[BibT_eX]

[DOI]

Christophe Petit

Tal Malkin

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Automatic Verification of Simulatability in Security Protocols.

[BibT_eX]

[DOI]

Tadashi Araragi

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

2007

A Block Cipher based PRNG Secure Against Side-Channel Key Recovery.

[BibT_eX]

[DOI]

Christophe Petit

Tal Malkin

IACR Cryptol. ePrint Arch., 2007

Verifying Statistical Zero Knowledge with Approximate Implementations.

[BibT_eX]

[DOI]

Ling Cheung

Sayan Mitra

IACR Cryptol. ePrint Arch., 2007

On the Role of Scheduling in Simulation-Based Security.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Modeling Computational Security in Long-Lived Systems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Simulation-based analysis of E2E voting systems.

[BibT_eX]

[DOI]

Olivier de Marneffe

Proceedings of the Frontiers of Electronic Voting, 29.07. - 03.08.2007, 2007

Compositional Security for Task-PIOAs.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

On the impossibility of building secure Cliques-type authenticated group key agreement protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2006

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

2005

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

2004

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Modelling and Security Analysis of Authenticated Group Key Agreement Protocols.

[BibT_eX]

[DOI]

PhD thesis, 2003

Some Attacks Upon Authenticated Group Key Agreement Protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2003

2001

On the Wagner-Whitin Lot-Sizing Polyhedron.

[BibT_eX]

[DOI]

Laurence A. Wolsey

Math. Oper. Res., 2001

Security Analysis of the Cliques Protocols Suites: First Results.

[BibT_eX]

Proceedings of the Trusted Information: The New Decade Challenge, 2001

A Security Analysis of the Cliques Protocols Suites.

[BibT_eX]

[DOI]