International Conferences, Workshops, and Seminars


2021 On the road to building formally verified side-channel countermeasures.
Invited Talk.
CrossFyre Workshop, December 2021 [slides]

2021 Higher-Order Masking of Lattice-Based Signatures.
Invited Talk.
European Cyber Week, Workshop "Implementing Post-Quantum Cryptography", November 2021 [slides]

2020 From tightPROVE to Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations.
Invited Talk.
Threshold Schemes for NIST-approved Symmetric Block Ciphers in a Single-Device Setting, July 2020 [slides]

2019 Security of Masked Implementations.
Invited Talk.
LatinCrypt 2019, Santiago de Chile, October 2019 [slides]

2019 Secure Masked Implementations with the Least Refreshing
Journée GT Méthodes Formelles pour la Sécurité, CNRS, Paris, March 2019 [slides]

2018 Tutorial: Formal Verification of Masked Implementations.
Sonia Belaïd and Benjamin Grégoire.
CHES 2018, Amsterdam, September 2018 [slides]

2018 Masking the GLP Lattice-Based Signature Scheme at Any Order
Quantum-Safe Cryptography Seminar, UPMC, Paris, March 2018 [slides]

2018 On the Security of Composed Masked Implementations with Least Refreshing
Séminaire CCA (Codage, Cryptologie, Algorithmes), INRIA, Paris, March 2018 [slides]

2017 New Challenges to Counteract Higher-Order Side-Channel Attacks
Journées Nationales 2017 Pré-GDR Sécurité Informatique, CNRS, Paris, May 2017 [slides]

2016 On the use of formal tools to improve the security of masked implementations
EIT Digital International Symposium, Université de Rennes 1, November 2016 [slides]

2016 On the Use of Masking to Defeat Power-Analysis Attacks
Paris Crypto Day, ENS, Paris, February 2016 [slides]

2015 Improved Side-Channel Analysis of Finite-Field Multiplication.
Sonia Belaïd, Jean-Sébastien Coron, Pierre-Alain Fouque, Benoît Gérard, Jean-Gabriel Kammerer, and Emmanuel Prouff.
CHES 2015, Saint-Malo, September 2015 [slides]

2015 Verified Proofs of Higher-Order Masking.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, and Pierre-Yves Strub.
EUROCRYPT 2015, Sofia, April 2015 [slides]

2015 Side-Channel Analysis of Multiplications in GF(2^128): Application to AES-GCM
Seminar Cryptology and Security, Caen, February 2015 [slides]

2014 Side-Channel Analysis of Multiplications in GF(2^128): Application to AES-GCM.
Sonia Belaïd, Pierre-Alain Fouque, and Benoît Gérard.
ASIACRYPT 2014, Kaohsiung, December 2014 [slides]

2014 Side-Channel Analysis of Multiplications in GF(2^128): Application to AES-GCM
Seminar of CRYPTO team, UVSQ, Versailles, November 2014 [slides]

2014 Leakage-Resilient Primitives using Re-keying
Journees Codage et Cryptographie, March 2014 [slides]

2014 Leakage-Resilient Pseudorandom Functions and Generators using Re-keying
Seminar on Security of Embedded Electronic Systems, University of Rennes 1, March 2014 [slides]

2013 Leakage-Resilient Symmetric Encryption via Re-keying.
Michel Abdalla, Sonia Belaïd, and Pierre-Alain Fouque.
CHES 2013, Santa Barbara, August 2013 [slides]

2011 Solving Sparse Systems with the Block Wiedemann Algorithm - Efficient Implementation over GF(2)
Seminar SALSA, LIP6, Jussieu, June 2011 [slides]


Schools


2019 Side-Channel Attacks and Countermeasures
ASCrypto, Santiago de Chile, October 2019 [slides]

2018 Formal Verification of Side-Channel Countermeasures
Ecole de cybersécurité, Sophia Antipolis, June 2018 [slides]



Thesis


22-10-2015 Security of Cryptosystems Against Power-Analysis Attacks [slides]