The Question Is a Region: A Neurosymbolic Retrofit for Categorical Question Answering over Rule EnginesMartin Schäf, Tancrède Lepoint, Willem Visser, and Liana HadareanNeSy 2026
Delta Debugging for LLM-integrated SystemsHao-Nan Zhu, Muhammad Numair Mansur, Martin Schäf, Zeya Chen, Tancrède Lepoint, and Willem VisserICSE-SEIP 2026 website
2025
Mario: Multi-round Multiple-Aggregator Secure Aggregation with Robustness against Malicious ActorsTruong Son Nguyen, Tancrède Lepoint, and Ni TrieuEuroS&P 2025 eprint
Verified Foundations for Differential PrivacyMarkus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, and Jean-Baptiste TristanPLDI 2025 Distinguished Artifact award eprint arxiv
Safe Validation of Pricing AgreementsJohn Kolesar, Tancrède Lepoint, Martin Schäf, and Willem VisserICSE-SEIP 2025 pdf website
Verifying the Fisher-Yates Shuffle Algorithm in DafnyStefan Zetzsche, Tancrède Lepoint, Jean-Baptiste Tristan, and Mikael MayerDafny 2025 arxiv
2024
Improved High-Order Masked Generation of Masking Vector and Rejection Sampling in DilithiumJean-Sébastien Coron, François Gérard, Tancrède Lepoint, Matthias Trannoy, and Rina ZeitounTCHES 2024 eprint
2023
ACORN: Input Validation for Secure AggregationJames Bell, Adrià Gascón, Tancrède Lepoint, Baiyu Li, Sarah Meiklejohn, Mariana Raykova, and Cathie YunUsenix 2023 eprint
Vision Paper: Do We Need to Change Some Things? - Open Questions Posed by the Upcoming Post-quantum Migration to Existing Standards and DeploymentsPanos Kampanakis and Tancrède LepointSSR 2023 pdf
Security Analysis of Signature Schemes with Key BlindingEdward Eaton, Tancrède Lepoint, and Christopher A. WoodEprint 2023 eprint
2022
In-app cryptographically-enforced selective access control for Microsoft office and similar platformsKarim Eldefrawy, Tancrède Lepoint, and Laura TamCSCML 2022 pdf
Communication-efficient proactive MPC for dynamic groups with dishonest majoritiesKarim Eldefrawy, Tancrède Lepoint, and Antonin LerouxACNS 2022 eprint
On the (in)Security of ROSFabrice Benhamouda, Tancrède Lepoint, Julian Loss, Michele Orrù, and Mariana RaykovaJournal of Cryptology 2022 eprint
Publicly Verifiable Anonymous Tokens with Private Metadata BitFabrice Benhamouda, Tancrède Lepoint, Michele Orrù, and Mariana RaykovaCryptology ePrint Archive eprint
Private Set Intersection and Compute (chapter)Flavio Bergamaschi, Tancrède Lepoint, Peter Leihn, and Sreekanth KannepalliProtecting Privacy through Homomorphic Encryption article
2021
Private Join and Compute from PIR with DefaultTancrède Lepoint, Sarvar Patel, Mariana Raykova, Karn Seth, and Ni TrieuAsiacrypt 2021 eprint
On the (in)security of ROSFabrice Benhamouda, Tancrède Lepoint, Julian Loss, Michele Orrù, and Mariana RaykovaEurocrypt 2021 Best Paper award eprint
Communication--Computation Trade-offs in PIRAsra Ali, Tancrède Lepoint, Sarvar Patel, Mariana Raykova, Phillipp Schoppmann, Karn Seth, and Kevin YeoUsenix 2021 eprint
Advances and Open Problems in Federated LearningPeter Kairouz, H. Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A. Bonawitz, Zachary Charles, Graham Cormode, Rachel Cummings, Rafael G. L. D'Oliveira, Hubert Eichner, Salim El Rouayheb, David Evans, Josh Gardner, Zachary Garrett, Adrià Gascón, Badih Ghazi, Phillip B. Gibbons, Marco Gruteser, Zaïd Harchaoui, Chaoyang He, Lie He, Zhouyuan Huo, Ben Hutchinson, Justin Hsu, Martin Jaggi, Tara Javidi, Gauri Joshi, Mikhail Khodak, Jakub Konecný, Aleksandra Korolova, Farinaz Koushanfar, Sanmi Koyejo, Tancrède Lepoint, Yang Liu, Prateek Mittal, Mehryar Mohri, Richard Nock, Ayfer Özgür, Rasmus Pagh, Hang Qi, Daniel Ramage, Ramesh Raskar, Mariana Raykova, Dawn Song, Weikang Song, Sebastian U. Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth Vepakomma, Jianyu Wang, Li Xiong, Zheng Xu, Qiang Yang, Felix X. Yu, Han Yu, and Sen ZhaoFoundations and Trends in Machine Learning, Volume 14 arxiv
2020
Secure Single-Server Aggregation with (Poly)Logarithmic OverheadJames Bell, K. A. Bonawitz, Adrià Gascón, Tancrède Lepoint, and Mariana RaykovaACM CCS 2020 eprint
Efficient Anonymous Tokens with Private Metadata BitBen Kreuter, Tancrède Lepoint, Michele Orrù, and Mariana RaykovaCrypto 2020 eprint
Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest MajoritiesKarim Eldefrawy, Tancrède Lepoint, and Antonin LerouxACNS 2020 eprint
2019
Public-Key Function-Private Hidden Vector Encryption (and More)James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, and Mariana RaykovaAsiacrypt 2019 eprint
SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systemsIvan De Oliveira Nunes, Karim Eldefrawy, and Tancrède LepointFuture Generation Computer Systems 2019 article
New Techniques for Obfuscating ConjunctionsJames Bartusek, Tancrède Lepoint, Fermi Ma, and Mark ZhandryEurocrypt 2019 eprint
2018
Toward an Internet of Battlefield Things: A Resilience PerspectiveTarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, and Venugopal V. VeeravalliIEEE Computer article
CRYSTALS -- Dilithium: Digital Signatures from Module LatticesLéo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler, and Damien StehléTCHES 2018 eprint github website
Will Distributed Computing Revolutionize War? The Emergency of Battlefield IoTTarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, and Venugopal V. VeeravalliICDCS 2018 article
Risks and Benefits of Side-Channels in BattlefieldsIoannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancrède Lepoint, Ulf Lindqvist, and Michael LocastoFusion 2018 article
Callisto: A Cryptographic Approach To Detect Serial Predators Of Sexual MisconductAnjana Rajan, Lucy Qin, David W. Archer, Dan Boneh, Tancrède Lepoint, and Mayank VariaCOMPASS Best Note award website whitepaper
Secure Non-Interactive User Re-Enrollment in Biometrics-based Identification and Authentication SystemsIvan De Oliveira Nunes, Karim Eldefrawy, and Tancrède LepointCSCML 2018 article
Delegating Elliptic-Curve Operations with Homomorphic EncryptionCarlos Aguilar-Melchor, Jean-Christophe Deneuville, Philippe Gaborit, Tancrède Lepoint, and Thomas Ricosset4th IEEE Workshop on Security and Privacy in the Cloud article
BlockCIS---A Blockchain-based Cyber Insurance SystemGabriela Ciocarlie, Karim Eldefrawy, and Tancrède LepointFirst IEEE Workshop on Blockchain Technologies and Applications 2018 article
CRYSTALS -- Kyber: a CCA-secure module-lattice-based KEMJoppe Bos, Léo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, John M. Schanck, Peter Schwabe, and Damien StehléEuroS&P 2018 eprint github website
Butterfly Effect: Causality from Chaos in the IoTIoannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancrède Lepoint, Ulf Lindqvist, and Michael Locasto1st International Workshop on Security and Privacy for the Internet-of-Things (IoTSec) 2018
Improved Security Proofs in Lattice-Based Cryptography: Using the Rényi Divergence Rather than the Statistical DistanceShi Bai, Tancrède Lepoint, Adeline Roux-Langlois, Amin Sakzad, Damien Stehlé, and Ron SteinfeldJournal of Cryptology 2018 eprint
2017
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-ThingsIoannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael Locasto, Gabriela F. Ciocarlie, and Ulf LindqvistCPS-SPC 2017 article
Abduction by Non-ExpertsNikolaj Bjørner, Dejan Jovanovíc, Tancrède Lepoint, Philipp Rümmer, and Martin SchäfLPAR 2017 pdf
Zeroizing Attacks on Indistinguishability Obfuscation over CLT13Jean-Sébastien Coron, Moon Sung Lee, Tancrède Lepoint, and Mehdi TibouchiPKC 2017 eprint
FHE Over the Integers: Decomposed and Batched in the Post-Quantum RegimeDaniel Benarroch, Zvika Brakerski, and Tancrède LepointPKC 2017 eprint
Optimization of Bootstrapping in CircuitsFabrice Benhamouda, Tancrède Lepoint, Claire Mathieu, and Hang ZhouSODA 2017 eprint
2016
Cryptanalysis of GGH15 Multilinear MapsJean-Sébastien Coron, Moon Sung Lee, Tancrède Lepoint, and Mehdi TibouchiCRYPTO 2016 eprint
Stream ciphers: A Practical Solution for Efficient Homomorphic-Ciphertext CompressionAnne Canteaut, Sergiu Carpov, Caroline Fontaine, Tancrède Lepoint, María Naya-Plasencia, Pascal Paillier, and Renaud SirdeyFSE 2016 eprint
NFLlib: NTT-based Fast Lattice LibraryCarlos Aguilar-Melchor, Joris Barrier, Serge Guelton, Adrien Guinet, Marc-Olivier Killijian, and Tancrède LepointCT-RSA 2016 pdf github
2015
Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distanceShi Bai, Adeline Langlois, Tancrède Lepoint, Damien Stehlé, and Ron SteinfeldASIACRYPT 2015 Best Paper award eprint
Trap Me If You Can—Million Dollar CurveThomas Baignères, Cécile Delerablée, Matthieu Finiasz, Louis Goubin, Tancrède Lepoint, and Matthieu RivainEprint 2015 eprint github website
Cryptanalysis of the Co-ACD AssumptionPierre-Alain Fouque, Moon Sung Lee, Tancrède Lepoint, and Mehdi TibouchiCRYPTO 2015 eprint
New Multilinear Maps over the IntegersJean-Sébastien Coron, Tancrède Lepoint, and Mehdi TibouchiCRYPTO 2015 eprint github
Zeroizing Without Low-Level Zeroes: New Attacks on Multilinear Maps and Their LimitationsJean-Sébastien Coron, Craig Gentry, Shai Halevi, Tancrède Lepoint, Hemanta K. Maji, Eric Miles, Mariana Raykova, Amit Sahai, and Mehdi TibouchiCRYPTO 2015 eprint
Cryptanalysis of the Quadratic Zero-Testing of GGHZvika Brakerski, Craig Gentry, Shai Halevi, Tancrède Lepoint, Amit Sahai, and Mehdi TibouchiEprint 2015 eprint
(fr) Quatre millions d'échanges de clés par secondeCarlos Aguilar-Melchor, Serge Guelton, Adrien Guinet, and Tancrède LepointSSTIC 2015 pdf
Cryptanalysis of a (Somewhat) Additively Homomorphic Encryption Scheme Used in PIRTancrède Lepoint and Mehdi TibouchiWAHC 2015 eprint
(jp) Co-ACD 仮定とそれを基にした準同型暗号方式の安全性評価Pierre-Alain Fouque, Tancrède Lepoint, and Mehdi TibouchiSCIS 2015
2014
Cryptanalysis of Two Candidate Fixes of Multilinear Maps over the IntegersJean-Sébastien Coron, Tancrède Lepoint, and Mehdi TibouchiEprint 2014 eprint
A Comparison of the Homomorphic Encryption Schemes FV and YASHETancrède Lepoint and Michael NaehrigAFRICACRYPT 2014 eprint github
Scale-Invariant Fully Homomorphic Encryption over the IntegersJean-Sébastien Coron, Tancrède Lepoint, and Mehdi TibouchiPKC 2014 eprint
2013
Lattice Signatures and Bimodal GaussiansLéo Ducas, Alain Durmus, Tancrède Lepoint, and Vadim LyubashevskyCRYPTO 2013 eprint website
Practical Multilinear Maps over the IntegersJean-Sébastien Coron, Tancrède Lepoint, and Mehdi TibouchiCRYPTO 2013 eprint github
Two Attacks on a White-Box AES ImplementationTancrède Lepoint, Matthieu Rivain, Yoni De Mulder, Peter Roelse, and Bart PreneelSAC 2013 eprint
White-Box Security Notions for Symmetric Encryption SchemesCécile Delerablée, Tancrède Lepoint, Pascal Paillier, and Matthieu RivainSAC 2013 eprint
Batch Fully Homomorphic Encryption over the IntegersJung Hee Cheon, Jean-Sébastien Coron, Jinsu Kim, Moon Sung Lee, Tancrède Lepoint, Mehdi Tibouchi, and Aaram YunEUROCRYPT 2013 eprint
On the Minimal Number of Bootstrappings in Homomorphic CircuitsTancrède Lepoint and Pascal PaillierWAHC 2013 pdf article
2012
Partial key exposure on RSA with private exponents larger than NMarc Joye and Tancrède LepointISPEC 2012 pdf article
2011
Traitor tracing schemes for protected software implementationsMarc Joye and Tancrède LepointACM DRM 2011 pdf article