Papers and Talks
Published papers
- N. Bindel, X. Bonnetain, M. Tiepelt, F. Virdia, Quantum Lattice Enumeration in Limited Depth, Crypto 2024, eprint 2023/1423, code, DOI
- F. Virdia, Popping “R-propping”: breaking hardness assumptions for matrix groups over F_{2^8}, Mathematical Cryptology, 3(1), eprint 2023/1425, code, bibtex
- M. Filić, K. G. Paterson, A. Unnikrishnan, F. Virdia, Adversarial Correctness and Privacy for Probabilistic Data Structures, ACM CCS 2022, eprint 2022/1186, code, DOI
- F. Virdia, Post-Quantum Cryptography: Cryptanalysis and Implementation, doctoral thesis, download, bibtex
- E. W. Postlethwaite, F. Virdia, On the Success Probability of Solving Unique SVP via BKZ, PKC 2021, eprint 2020/1308, code, DOI
- S. Jaques, M. Naehrig, M. Roetteler, F. Virdia, Implementing Grover oracles for quantum key search on AES and LowMC, Eurocrypt 2020, eprint 2019/1146, code, DOI
- JP. D’Anvers, M. Rossi, F. Virdia, (One) failure is not an option: Bootstrapping the search for failures in lattice-based encryption schemes, Eurocrypt 2020, eprint 2019/1399, code, DOI
- C. Costello, P. Longa, M. Naehrig, J. Renes, F. Virdia, Improved Classical Cryptanalysis of SIKE in Practice, PKC 2020, eprint 2019/298, code, DOI
- M. R. Albrecht, C. Hanser, A. Hoeller, T. Pöppelmann, F. Virdia, and A. Wallner, Implementing RLWE-based Schemes Using an RSA Co-Processor, CHES 2019, eprint 2018/425, code, CSAW finalist, DOI
- M. R. Albrecht, B. R. Curtis, A. Deo, A. Davidson, R. Player, E. W. Postlethwaite, F. Virdia, and T. Wunderer, Estimate All the {LWE, NTRU} Schemes!, SCN 2018, eprint 2018/331, website, code, DOI
- M. R. Albrecht, F. Göpfert, F. Virdia, and T. Wunderer, Revisiting the expected cost of solving uSVP and applications to LWE, Asiacrypt 2017, eprint 2017/815, code, DOI
Preprints
- A. Karenin, E. Kirshanova, J. Nowakowski, E. W. Postlethwaite, F. Virdia, Cool + Cruel = Dual, eprint 2025/1002, code
- A. Davidson, L. Soezima, F. Virdia, Practical Semi-Open Chat Groups for Secure Messaging Applications, eprint 2025/469, code
- G. Fenzi, J. Gilcher, F. Virdia, Finding Bugs and Features Using Cryptographically-Informed Functional Testing, eprint 2024/1122, code
- M. Filić, F. Virdia, A note on securing insertion-only Cuckoo filters, eprint 2024/520
- T. Hanson, Q. Wang, S. Ghosh, F. Virdia, A. Reinders, M. Sastry, Optimization for SPHINCS+ using Intel Secure Hash Algorithm Extensions, eprint 2022/1726
Talks
-
Lattice fundamentals
-
Securing semi-open group messaging
- Cryptographic Applications Workshop (CAW 2024), 26/05/2025, slides
-
Quantum Lattice Enumeration in Limited Depth
- MSR, 16/08/2024, slides
- London-ish Lattice Coding & Crypto Meeting, 01/12/2023, slides
-
(Some) quantum speedups are… |alive〉+ |dead〉
- Latincrypt 2023 invited talk, 06/10/2023, slides
-
Criptografía post-cuántica, desafíos y direcciones de investigación
- Seminario UNC, 25/10/2023, slides
- INCA Crypto, 30/09/2023, slides
- Seminario UBA, 03/06/2022, slides
-
On the Success Probability of Solving Unique SVP via BKZ
-
Quantum programming languages for cryptanalysis
- IBM QT Science meeting, 15/04/2021, slides
-
Concrete security estimates and parameter selection for LWE-based schemes
- PROMETHEUS H2020 Annual meeting, 25/11/2020, slides
-
Implementing Grover oracles for quantum key search on AES and LowMC
-
Implementing RLWE-based Schemes Using an RSA Co-Processor
-
Estimate all the {LWE, NTRU} schemes!
- ENS Lyon Lattice and Crypto meetings, 01/03/2018
-
Revisiting the Expected Cost of Solving uSVP and Applications to LWE
- Asiacrypt 2017, video, slides
- ENS Lyon Lattice and Crypto meetings, 21/09/2017
-
Post-Quantum Cryptography standards