A Fault Analysis on SNOVA
Gustavo Banegas, Ricardo Villanueva-Polanco. (2024). "A Fault Analysis on SNOVA." In eprint.
CV
Education
- PhD in Cryptography, Technische Universiteit Eindhoven, 2019
- M.S. in Computer Science, UFSC - Universidade Federal de Santa Catarina, 2015
- B.S. in Computer Science, UFSC - Universidade Federal de Santa Catarina, 2012
Work Experience
Permanent Researcher
INRIA | 2024–Present
🔗 https://www.inria.fr
Professor
École Polytechnique de Paris | 2024–Present
🔗 https://www.polytechnique.edu
Cryptographer
Qualcomm | 2022–2024
- Developed secure cryptographic solutions for Qualcomm Snapdragon platforms
- Focused on integrating Post-Quantum Cryptography (PQC) into embedded systems
Post-Doc
INRIA – Paris | 2020–2022
- Implemented post-quantum schemes (isogeny-based, lattice-based, and hash-based) into RIOT-OS
- Focused on secure PQC integration into embedded platforms
Post-Doc
Chalmers University of Technology – Gothenburg | 2019–2020
- Researched post-quantum cryptography within the WASP Expedition project
- Focused on cryptographic protocols and cross-disciplinary security applications
PhD Student
Technische Universiteit Eindhoven – Eindhoven | 2015–2019
- Studied quantum algorithms for attacking symmetric and asymmetric cryptography
- Worked on implementation and cryptanalysis of code-based cryptosystems
Intern
CryptoExperts – Paris | 2018
🔗 https://www.cryptoexperts.com/
- Analyzed timing leakage in post-quantum schemes
- Designed and validated timing-based side-channel attacks
Intern
Riscure – Delft | 2017
🔗 https://www.riscure.com/
- Investigated power analysis on FPGA implementations of ECC
- Focused on real-world side-channel vulnerabilities
System Analyst
BRy Tecnologia – Florianópolis | 2014–2015
🔗 https://www.bry.com.br/
- Developed PKI software in Java and C++
- Integrated HSMs and led a development team using Scrum
Researcher, Project Manager and Developer
LabSEC – UFSC – Florianópolis | 2009–2014
🔗 http://www.labsec.ufsc.br/
- Led research on PKI and attribute certificates in Brazil
- Managed national cryptographic projects and developed in Java, C/C++, and Python
Publications
Fast and Frobenius: Rational Isogeny Evaluation over Finite Fields
Gustavo Banegas, Valerie Gilchrist, Anaelle Le Devehat, Benjamin Smith. (2023). "Fast and Frobenius: Rational Isogeny Evaluation over Finite Fields." Preprint.
Multi-Armed SPHINCS+
Gustavo Banegas, Florian Caullery. (2023). "Multi-Armed SPHINCS+." In ACNS-SCI 2023.
Breaking DPA-Protected Kyber via the Pair-Pointwise Multiplication
Estuardo Alpirez Bock, Gustavo Banegas, Chris Brzuska, Łukasz Chmielewski, Kirthivaasan Puniamurthy, Milan Šorf. (2023). "Breaking DPA-Protected Kyber via the Pair-Pointwise Multiplication." Preprint.
Disorientation Faults in CSIDH
Gustavo Banegas, Juliane Krämer, Tanja Lange, Michael Meyer, Lorenz Panny, Krijn Reijnders, Jana Sotáková, Monika Trimoska. (2022). "Disorientation Faults in CSIDH." In IACR eprint.
Efficient supersingularity testing over $\mathbb{F}_p$ and CSIDH key validation
Valerie Gilchrist and Benjamin Smith. (2022). *Efficient supersingularity testing over $\mathbb{F}_p$ and CSIDH key validation*. IACR ePrint Archive, Report 2022/880.
On Recovering Block Cipher Secret Keys in the Cold Boot Attack Setting
Gustavo Banegas, Ricardo Villanueva-Polanco. (2022). "On Recovering Block Cipher Secret Keys in the Cold Boot Attack Setting." Preprint, available on arXiv.
DEVA: Decentralized, Verifiable Secure Aggregation for Privacy-Preserving Learning
Georgia Tsaloli, Bei Liang, Carlo Brunetta, Gustavo Banegas, Aikaterini Mitrokotsa. (2021). "DEVA: Decentralized, Verifiable Secure Aggregation for Privacy-Preserving Learning." In 24th Information Security Conference (ISC).
Wavelet: Code-based Post-Quantum Signatures with Fast Verification on Microcontrollers
Gustavo Banegas, Thomas Debris-Alazard, Milena Nedeljković, Benjamin Smith. (2021). "Wavelet: Code-based Post-Quantum Signatures with Fast Verification on Microcontrollers." Preprint.
CTIDH: Faster Constant-Time CSIDH
Gustavo Banegas, Daniel J. Bernstein, Fabio Campos, Tung Chou, Tanja Lange, Michael Meyer, Benjamin Smith, Jana Sotáková. (2021). "CTIDH: Faster Constant-Time CSIDH." In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES).
Quantum-Resistant Security for Software Updates on Low-power Networked Embedded Devices
Gustavo Banegas, Koen Zandberg, Adrian Herrmann, Emmanuel Baccelli, Benjamin Smith. (2021). "Quantum-Resistant Security for Software Updates on Low-power Networked Embedded Devices." Preprint.
Non-Interactive, Secure Verifiable Aggregation for Decentralized, Privacy-Preserving Learning
Carlo Brunetta, Georgia Tsaloli, Bei Liang, Gustavo Banegas, Aikaterini Mitrokotsa. (2021). "Non-Interactive, Secure Verifiable Aggregation for Decentralized, Privacy-Preserving Learning." In Australasian Conference on Information Security and Privacy (ACISP).
Concrete Quantum Cryptanalysis of Binary Elliptic Curves
Gustavo Banegas, Daniel J. Bernstein, Iggy van Hoof, Tanja Lange. (2020). "Concrete Quantum Cryptanalysis of Binary Elliptic Curves." In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES).
Practical and Provably Secure Distributed Aggregation Verifiable Additive Homomorphic Secret Sharing
Georgia Tsaloli, Gustavo Banegas, Aikaterini Mitrokotsa. (2020). "Practical and Provably Secure Distributed Aggregation Verifiable Additive Homomorphic Secret Sharing." *MDPI Cryptography*, 4(3), 25.
Selected Constructive and Destructive Approaches to Post-Quantum Cryptography
Gustavo Banegas. (2019). "Selected Constructive and Destructive Approaches to Post-Quantum Cryptography." PhD Thesis.
A Reaction Attack against Cryptosystems based on LRPC Codes
Simona Samardjiska, Paolo Santini, Edoardo Persichetti, Gustavo Banegas. (2019). "A Reaction Attack against Cryptosystems based on LRPC Codes." In International Conference on Cryptology and Information Security in Latin America (Latincrypt).
Don’t Forget Your Roots Constant-Time Root Finding over ( \mathbb{F}_{2^m} )
Douglas Marcelino Beppler Martins, Gustavo Banegas, Ricardo Felipe Custodio. (2019). Don\'t Forget Your Roots Constant-Time Root Finding over \( \mathbb{F}_{2^m} \). In International Conference on Cryptology and Information Security in Latin America (Latincrypt).
DAGS: Reloaded Revisiting Dyadic Key Encapsulation
Gustavo Banegas, Paulo S. L. M. Barreto, Brice Odilon Boidje, Pierre-Louis Cayrel, Gilbert Ndollane Dione, Kris Gaj, Cheikh Thiecoumba Gueye, Richard Haeussler, Jean Belo Klamti, Ousmane N’diaye, Duc Tri Nguyen, Edoardo Persichetti, Jefferson E. Ricardini. (2018). "DAGS: Reloaded Revisiting Dyadic Key Encapsulation." In Code-Based Cryptography Workshop 2019.
DAGS: Key Encapsulation using Dyadic GS Codes
Gustavo Banegas, Paulo S. L. M. Barreto, Brice Odilon Boidje, Pierre-Louis Cayrel, Gilbert Ndollane Dione, Kris Gaj, Cheikh Thiecoumba Gueye, Richard Haeussler, Jean Belo Klamti, Ousmane N’diaye, Duc Tri Nguyen, Edoardo Persichetti, Jefferson E. Ricardini. (2018). "DAGS: Key Encapsulation using Dyadic GS Codes." In Journal of Mathematical Cryptology.
Designing Efficient Dyadic Operations for Cryptographic Applications
Gustavo Banegas, Paulo S. L. M. Barreto, Edoardo Persichetti, Paolo Santini. (2018). "Designing Efficient Dyadic Operations for Cryptographic Applications." In MathCrypt 2018.
A New Class of Irreducible Pentanomials for Polynomial-Based Multipliers in Binary Fields
Gustavo Banegas, Ricardo Felipe Custodio, Daniel Panario. (2018). "A New Class of Irreducible Pentanomials for Polynomial-Based Multipliers in Binary Fields." In Journal of Cryptographic Engineering (JCEN).
DAGS: Key Encapsulation using Dyadic GS Codes
Gustavo Banegas, Paulo S. L. M. Barreto, Brice Odilon Boidje, Pierre-Louis Cayrel, Gilbert Ndollane Dione, Kris Gaj, Cheikh Thiecoumba Gueye, Richard Haeussler, Jean Belo Klamti, Ousmane N’diaye, Duc Tri Nguyen, Edoardo Persichetti, Jefferson E. Ricardini. (2017). "DAGS: Key Encapsulation using Dyadic GS Codes." NIST Post-Quantum Cryptography Standardization Submission.
Low-Communication Parallel Quantum Multi-Target Preimage Search
Gustavo Banegas, Daniel J. Bernstein. (2017). "Low-Communication Parallel Quantum Multi-Target Preimage Search." In Selected Areas in Cryptography (SAC).
Talks
Quantum Resource Estimation to Break Cryptographic Schemes
Talk at ACCESS Seminar, Online
Quantum Cryptanalysis of ECC
Talk at GT Seminar, Online, Paris, France
Quantum Cryptanalysis: Let’s Build a Quantum Computer
Talk at --, Florianopolis, Brazil (online)
Selected Constructive and Destructive Approaches to Post-Quantum Cryptography
Talk at PhD Defense, Eindhoven, Eindhoven
Introduction to Quantum Algorithms and Code-Based Cryptography Implementation
Talk at CryptoCafe, FAU, Boca Raton, Florida, USA
Post-Quantum Cryptography: From Construction to Destruction
Talk at , Gothenburg, Sweden
Quantum Circuits: Simulating a Quantum Computer
Talk at Quantum Research Retreat, Tenerife, Spain
Designing Efficient Dyadic Operations for Cryptographic Applications
Talk at MathCrypt 2018, California, USA
Post-Quantum Cryptography 101: From Basic to Attacks
Talk at --, Florianopolis, Brazil
DAGS – Key Encapsulation from Dyadic GS Codes
Talk at Combined Event on Post-Quantum Cryptography, Tenerife, Spain
Preimage (and Kittens) Search Using Grover Algorithm
Talk at ECRYPT-NET Meeting (School of Implementation), Crete, Greece
Low-Communication Parallel Quantum Multi-Target Preimage Search
Talk at Quantum Cryptanalysis (Schloss Dagstuhl), Warden, Germany
Low-Communication Parallel Quantum Multi-Target Preimage Search
Talk at Selected Areas in Cryptography (SAC), Ottawa, Canada
Low-Communication Parallel Quantum Multi-Target Preimage Search
Talk at Crypto Working Group (CWG), Utrecht, Netherlands
Introduction to Quantum Algorithms
Talk at ECRYPT-NET Crypto Cloud School, Leuven, Belgium