| 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] |
| 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] |
| 22-10-2015 | Security of Cryptosystems Against Power-Analysis Attacks [slides] |
© 2024 Sonia Belaïd. Tous droits réservés.