Generation and Verification of Masking Countermeasures Against Side-Channel Attacks

Informations projet

AMAskZONE

N° de convention de subvention: 101077506

DOI

10.3030/101077506

Date de signature de la CE 16 Decembre 2022

Date de début 1 Septembre 2023

Date de fin 31 Août 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 495 250,00

Contribution de l’UE

€ 1 495 250,00

Coordonné par

CRYPTOEXPERTS SAS
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (3)

Formal Definition and Verification for Combined Random Fault and Random Probing Security

Auteurs: Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, 2024
Éditeur: Springer Nature Singapore
DOI: 10.1007/978-981-96-0941-3_6

Lecture Notes in Computer Science

Auteurs: Sonia Belaïd, Matthieu Rivain, Mélissa Rossi
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2025, 2025, ISSN 0302-9743
Éditeur: Springer Verlag
DOI: 10.1007/978-3-031-91101-9_4

Masked Circuit Compiler in the Cardinal Random Probing Composability Framework

Auteurs: Sonia Belaïd, Victor Normand, Matthieu Rivain
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2025, 2025
Éditeur: Springer Nature Singapore
DOI: 10.1007/978-981-95-5096-8_12

Peer reviewed articles (3)

On Loopy Belief Propagation for SASCAs

Auteurs: Rishub Nagpal; Gaëtan Cassiers; Robert Primas; Christian Knoll; Franz Pernkopf; Stefan Mangard
Publié dans: IACR Communications in Cryptology, 2025, ISSN 3006-5496
Éditeur: IACR Communications in Cryptology
DOI: 10.62056/AYL8KSDJA

ML-DSA masking sweetened with SUCRE: Shuffle-and-Unmask Countermeasure for REjection sampling

Auteurs: Sonia Belaïd, Ryad Benadjila, Julien Devevey, Morgane Guerreau, Thomas Legavre, Ange Martinelli, Thomas Ricosset, Matthieu Rivain, Mélissa Rossi
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numéro 2026, 2026, ISSN 2569-2925
Éditeur: Universitatsbibliothek der Ruhr-Universitat Bochum
DOI: 10.46586/TCHES.V2026.I1.618-659

SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations

Auteurs: Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Taleb
Publié dans: IACR Communications in Cryptology, Numéro 2, 2025, ISSN 3006-5496
Éditeur: International Association for Cryptologic Research
DOI: 10.62056/AEBNGY4E-