Céline Chevalier

84 papers A* 3A 2B 12C 2Misc 1Journal 44Unranked 20

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