Generation and Verification of Masking Countermeasures Against Side-Channel Attacks

Project Information

AMAskZONE

Grant agreement ID: 101077506

DOI

10.3030/101077506

EC signature date 16 December 2022

Start date 1 September 2023

End date 31 August 2028

Funded under

• European Research Council (ERC)

Total cost

€ 1 495 250,00

EU contribution

€ 1 495 250,00

Coordinated by

CRYPTOEXPERTS SAS
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (3)

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

Author(s): Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
Published in: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, 2024
Publisher: Springer Nature Singapore
DOI: 10.1007/978-981-96-0941-3_6

Lecture Notes in Computer Science

Author(s): Sonia Belaïd, Matthieu Rivain, Mélissa Rossi
Published in: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2025, 2025, ISSN 0302-9743
Publisher: Springer Verlag
DOI: 10.1007/978-3-031-91101-9_4

Masked Circuit Compiler in the Cardinal Random Probing Composability Framework

Author(s): Sonia Belaïd, Victor Normand, Matthieu Rivain
Published in: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2025, 2025
Publisher: Springer Nature Singapore
DOI: 10.1007/978-981-95-5096-8_12

Peer reviewed articles (3)

On Loopy Belief Propagation for SASCAs

Author(s): Rishub Nagpal; Gaëtan Cassiers; Robert Primas; Christian Knoll; Franz Pernkopf; Stefan Mangard
Published in: IACR Communications in Cryptology, 2025, ISSN 3006-5496
Publisher: IACR Communications in Cryptology
DOI: 10.62056/AYL8KSDJA

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

Author(s): Sonia Belaïd, Ryad Benadjila, Julien Devevey, Morgane Guerreau, Thomas Legavre, Ange Martinelli, Thomas Ricosset, Matthieu Rivain, Mélissa Rossi
Published in: IACR Transactions on Cryptographic Hardware and Embedded Systems, Issue 2026, 2026, ISSN 2569-2925
Publisher: 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

Author(s): Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Taleb
Published in: IACR Communications in Cryptology, Issue 2, 2025, ISSN 3006-5496
Publisher: International Association for Cryptologic Research
DOI: 10.62056/AEBNGY4E-