Céline Chevalier

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 48

Top Topics

Designated Verifier

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Céline Chevalier, Guirec Lebrun, Ange Martinelli, Jérôme Plût
The Art of Bonsai: How Well-Shaped Trees Improve the Communication Cost of MLS. IACR Cryptol. ePrint Arch. 2024 (2024)
Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta, Quoc-Huy Vu
On Quantum Simulation-Soundness. IACR Cryptol. ePrint Arch. 2023 (2023)
Céline Chevalier, Paul Hermouet, Quoc-Huy Vu
Semi-quantum Copy-Protection and More. TCC (4) (2023)
Céline Chevalier, Paul Hermouet, Quoc Huy Vu
Semi-Quantum Copy-Protection and More. IACR Cryptol. ePrint Arch. 2023 (2023)
Céline Chevalier, Guirec Lebrun, Ange Martinelli
Leaking-cascades: an optimized construction for KEM hybridization. IACR Cryptol. ePrint Arch. 2023 (2023)
Céline Chevalier, Paul Hermouet, Quoc-Huy Vu
Unclonable Cryptography in the Plain Model. IACR Cryptol. ePrint Arch. 2023 (2023)
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside. IACR Cryptol. ePrint Arch. 2023 (2023)
Éric Sageloli, Pierre Pébereau, Pierrick Méaux, Céline Chevalier
Shorter and Faster Identity-Based Signatures with Tight Security in the (Q)ROM from Lattices. ACNS (1) (2023)
Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset, Mélissa Rossi
GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. ACNS (2023)
Olivier Blazy, Céline Chevalier, Guillaume Renaut, Thomas Ricosset, Éric Sageloli, Hugo Senet
Efficient Implementation of a Post-Quantum Anonymous Credential Protocol. ARES (2023)
Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet
Formal Verification of a Post-quantum Signal Protocol with Tamarin. VECoS (2023)
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside. FC (1) (2023)
Céline Chevalier, Guirec Lebrun, Ange Martinelli
Quarantined-TreeKEM: a Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users. IACR Cryptol. ePrint Arch. 2023 (2023)
Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset, Mélissa Rossi
GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. IACR Cryptol. ePrint Arch. 2023 (2023)
Céline Chevalier, Paul Hermouet, Quoc-Huy Vu
Unclonable Cryptography in the Plain Model. CoRR (2023)
Éric Sageloli, Pierre Pébereau, Pierrick Méaux, Céline Chevalier
Shorter and Faster Identity-Based Signatures with Tight Security in the (Q)ROM from Lattices. IACR Cryptol. ePrint Arch. 2023 (2023)
Daniel Rausch, Ralf Küsters, Céline Chevalier
Embedding the UC Model into the IITM Model. EUROCRYPT (2) (2022)
Céline Chevalier, Ehsan Ebrahimi, Quoc Huy Vu
On Security Notions for Encryption in a Quantum World. INDOCRYPT (2022)
Daniel Rausch, Ralf Küsters, Céline Chevalier
Embedding the UC Model into the IITM Model. IACR Cryptol. ePrint Arch. 2022 (2022)
Luka Music, Céline Chevalier, Elham Kashefi
Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses. Des. Codes Cryptogr. 90 (6) (2022)
Luka Music, Céline Chevalier, Elham Kashefi
Dispelling myths on superposition attacks: formal security model and attack analyses. Des. Codes Cryptogr. 90 (4) (2022)
Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. Algorithmica 83 (1) (2021)
Olivier Blazy, Laura Brouilhet, Céline Chevalier, Patrick Towa, Ida Tucker, Damien Vergnaud
Hardware security without secure hardware: How to decrypt with a password and a server. Theor. Comput. Sci. 895 (2021)
Luka Music, Céline Chevalier, Elham Kashefi
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. ProvSec (2020)
Céline Chevalier, Ehsan Ebrahimi, Quoc Huy Vu
On the Security Notions for Encryption in a Quantum World. IACR Cryptol. ePrint Arch. 2020 (2020)
Ehsan Ebrahimi, Céline Chevalier, Marc Kaplan, Michele Minelli
Superposition Attack on OT Protocols. IACR Cryptol. ePrint Arch. 2020 (2020)
Luka Music, Céline Chevalier, Elham Kashefi
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. CoRR (2020)
Olivier Blazy, Laura Brouilhet, Céline Chevalier, Patrick Towa, Ida Tucker, Damien Vergnaud
Hardware Security without Secure Hardware: How to Decrypt with a Password and a Server. IACR Cryptol. ePrint Arch. 2020 (2020)
Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Céline Chevalier, Franceco Ceccarelli, Aurélien Dugourd, Alexander Mitsos, Julio Saez-Rodriguez, Jonathan D. Wren
Converting networks to predictive logic models from perturbation signalling data with CellNOpt. Bioinform. 36 (16) (2020)
Luka Music, Céline Chevalier, Elham Kashefi
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. IACR Cryptol. ePrint Arch. 2020 (2020)
Olivier Blazy, Laura Brouilhet, Céline Chevalier, Neals Fournaise
Round-optimal Constant-size Blind Signatures. ICETE (2) (2020)
Olivier Blazy, Céline Chevalier, Quoc Huy Vu
Post-Quantum UC-Secure Oblivious Transfer in the Standard Model with Adaptive Corruptions. ARES (2019)
Céline Chevalier, Marc Kaplan, Quoc Huy Vu
On the Everlasting Security of Password-Authenticated Quantum Key Exchange. CoRR (2019)
Olivier Blazy, Céline Chevalier, Quoc Huy Vu
Post-Quantum UC-Secure Oblivious Transfer in the Standard Model with Adaptive Corruptions. IACR Cryptol. ePrint Arch. 2019 (2019)
Olivier Blazy, Céline Chevalier
Non-Interactive Key Exchange from Identity-Based Encryption. ARES (2018)
Olivier Blazy, Céline Chevalier
Spreading Alerts Quietly: New Insights from Theory and Practice. ARES (2018)
Olivier Blazy, Céline Chevalier, Paul Germouty
Almost Optimal Oblivious Transfer from QA-NIZK. IACR Cryptol. ePrint Arch. 2017 (2017)
Olivier Blazy, Céline Chevalier, Paul Germouty
Almost Optimal Oblivious Transfer from QA-NIZK. ACNS (2017)
Fabrice Benhamouda, Céline Chevalier, Adrian Thillard, Damien Vergnaud
Easing Coppersmith Methods Using Analytic Combinatorics: Applications to Public-Key Cryptography with Weak Pseudorandomness. Public Key Cryptography (2) (2016)
Fabrice Benhamouda, Céline Chevalier, Adrian Thillard, Damien Vergnaud
Easing Coppersmith Methods using Analytic Combinatorics: Applications to Public-Key Cryptography with Weak Pseudorandomness. IACR Cryptol. ePrint Arch. 2016 (2016)
Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. IACR Cryptol. ePrint Arch. 2016 (2016)
Olivier Blazy, Céline Chevalier, Damien Vergnaud
Mitigating Server Breaches in Password-Based Authentication: Secure and Efficient Solutions. CT-RSA (2016)
Olivier Blazy, Céline Chevalier
Structure-Preserving Smooth Projective Hashing. IACR Cryptol. ePrint Arch. 2016 (2016)
Olivier Blazy, Céline Chevalier, Paul Germouty
Adaptive Oblivious Transfer and Generalizations. IACR Cryptol. ePrint Arch. 2016 (2016)
Olivier Blazy, Céline Chevalier, Paul Germouty
Adaptive Oblivious Transfer and Generalization. ASIACRYPT (2) (2016)
Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions. ESORICS (1) (2016)
Céline Chevalier, Damien Gaumont, David Naccache, Rodrigo Portella do Canto
How to (Carefully) Breach a Service Contract? The New Codebreakers (2016)
Olivier Blazy, Céline Chevalier
Structure-Preserving Smooth Projective Hashing. ASIACRYPT (2) (2016)
Olivier Blazy, Céline Chevalier
Generic Construction of UC-Secure Oblivious Transfer. IACR Cryptol. ePrint Arch. 2015 (2015)
Olivier Blazy, Céline Chevalier, Damien Vergnaud
Non-Interactive Zero-Knowledge Proofs of Non-Membership. CT-RSA (2015)
Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
New Techniques for SPHFs and Efficient One-Round PAKE Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Olivier Blazy, Céline Chevalier, Damien Vergnaud
Mitigating Server Breaches in Password-Based Authentication: Secure and Efficient Solutions. IACR Cryptol. ePrint Arch. 2015 (2015)
Olivier Blazy, Céline Chevalier
Generic Construction of UC-Secure Oblivious Transfer. ACNS (2015)
Olivier Blazy, Céline Chevalier, Damien Vergnaud
Non-Interactive Zero-Knowledge Proofs of Non-Membership. IACR Cryptol. ePrint Arch. 2015 (2015)
Michel Abdalla, Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval
SPHF-Friendly Non-Interactive Commitments. IACR Cryptol. ePrint Arch. 2013 (2013)
Fabrice Ben Hamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
New Smooth Projective Hash Functions and One-Round Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2013 (2013)
Fabrice Ben Hamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages. Public Key Cryptography (2013)
Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
New Techniques for SPHFs and Efficient One-Round PAKE Protocols. CRYPTO (1) (2013)
Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
Composition of password-based protocols. Formal Methods Syst. Des. 43 (3) (2013)
Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
Analysis and Improvement of Lindell's UC-Secure Commitment Schemes. ACNS (2013)
Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
Analysis and Improvement of Lindell's UC-Secure Commitment Schemes. IACR Cryptol. ePrint Arch. 2013 (2013)
Michel Abdalla, Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval
SPHF-Friendly Non-interactive Commitments. ASIACRYPT (1) (2013)
Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud
Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages. IACR Cryptol. ePrint Arch. 2012 (2012)
Michel Abdalla, Céline Chevalier, Louis Granboulan, David Pointcheval
Contributory Password-Authenticated Group Key Exchange with Join Capability. CT-RSA (2011)
Céline Chevalier, Stéphanie Delaune, Steve Kremer
Transforming Password Protocols to Compose. FSTTCS (2011)
Hervé Chabanne, Céline Chevalier
Vaudenay's Privacy Model in the Universal Composability Framework: A Case Study. STA Workshops (2011)
Xavier Boyen, Céline Chevalier, Georg Fuchsbauer, David Pointcheval
Strong Cryptography from Weak Secrets. AFRICACRYPT (2010)
Michel Abdalla, Céline Chevalier, Mark Manulis, David Pointcheval
Flexible Group Key Exchange with On-demand Computation of Subgroup Keys. AFRICACRYPT (2010)
Céline Chevalier, Pierre-Alain Fouque, David Pointcheval, Sébastien Zimmer
Optimal Randomness Extraction from a Diffie-Hellman Element. EUROCRYPT (2009)
Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval
Password-Authenticated Group Key Agreement with Adaptive Security and Contributiveness. AFRICACRYPT (2009)
Michel Abdalla, Céline Chevalier, David Pointcheval
Smooth Projective Hashing for Conditionally Extractable Commitments. CRYPTO (2009)
Michel Abdalla, Xavier Boyen, Céline Chevalier, David Pointcheval
Distributed Public-Key Cryptography from Weak Secrets. Public Key Cryptography (2009)
Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval
Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework. CT-RSA (2008)