GnuZero: A Compiler-Based Zeroization Static Detection Tool for the Masses. - Philippe, Pierrick; Sabt, Mohamed; Fouque, Pierre-Alain (2025)

They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks. - Jancar, Jan; Fourné, Marcel; Braga, Daniel De Almeida; Sabt, Mohamed; Schwabe, Peter; Barthe, Gilles; Fouque, Pierre-Alain; Acar, Yasemin (2024)

Formal Security Analysis of Widevine through the W3C EME Standard. - Delaune, Stéphanie; Lallemand, Joseph; Patat, Gwendal; Roudot, Florian; Sabt, Mohamed (2024)

"These results must be false": A usability evaluation of constant-time analysis tools. - Fourné, Marcel; Braga, Daniel De Almeida; Jancar, Jan; Sabt, Mohamed; Schwabe, Peter; Barthe, Gilles; Fouque, Pierre-Alain; Acar, Yasemin (2024)

"These results must be false": A usability evaluation of constant-time analysis tools. - Fourné, Marcel; Braga, Daniel De Almeida; Jancar, Jan; Sabt, Mohamed; Schwabe, Peter; Barthe, Gilles; Fouque, Pierre-Alain; Acar, Yasemin (IACR Cryptol. ePrint Arch., 2024)

Your DRM Can Watch You Too: Exploring the Privacy Implications of Browsers (mis)Implementations of Widevine EME. - Patat, Gwendal; Sabt, Mohamed; Fouque, Pierre-Alain (Proc. Priv. Enhancing Technol., 2023)

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake. - Braga, Daniel De Almeida; Kulatova, Natalia; Sabt, Mohamed; Fouque, Pierre-Alain; Bhargavan, Karthikeyan (2023)

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake. - Braga, Daniel De Almeida; Kulatova, Natalia; Sabt, Mohamed; Fouque, Pierre-Alain; Bhargavan, Karthikeyan (CoRR, 2023)

Your DRM Can Watch You Too: Exploring the Privacy Implications of Browsers (mis)Implementations of Widevine EME. - Patat, Gwendal; Sabt, Mohamed; Fouque, Pierre-Alain (CoRR, 2023)

WideLeak: How Over-the-Top Platforms Fail in Android. - Patat, Gwendal; Sabt, Mohamed; Fouque, Pierre-Alain (2022)

Exploring Widevine for Fun and Profit. - Patat, Gwendal; Sabt, Mohamed; Fouque, Pierre-Alain (2022)

"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks. - Jancar, Jan; Fourné, Marcel; Braga, Daniel De Almeida; Sabt, Mohamed; Schwabe, Peter; Barthe, Gilles; Fouque, Pierre-Alain; Acar, Yasemin (2022)

Exploring Widevine for Fun and Profit. - Patat, Gwendal; Sabt, Mohamed; Fouque, Pierre-Alain (CoRR, 2022)

PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (2021)

Implementation of Lattice Trapdoors on Modules and Applications. - Bert, Pauline; Eberhart, Gautier; Prabel, Lucas; Roux-Langlois, Adeline; Sabt, Mohamed (2021)

PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (IACR Cryptol. ePrint Arch., 2021)

âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks. - Jancar, Jan; Fourné, Marcel; Braga, Daniel De Almeida; Sabt, Mohamed; Schwabe, Peter; Barthe, Gilles; Fouque, Pierre-Alain; Acar, Yasemin (IACR Cryptol. ePrint Arch., 2021)

The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020)

Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (2020)

Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (CoRR, 2020)

The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10. - Braga, Daniel De Almeida; Fouque, Pierre-Alain; Sabt, Mohamed (IACR Cryptol. ePrint Arch., 2020)

Practical Implementation of Ring-SIS/LWE Based Signature and IBE. - Bert, Pauline; Fouque, Pierre-Alain; Roux-Langlois, Adeline; Sabt, Mohamed (2018)

BlindIDS: Market-Compliant and Privacy-Friendly Intrusion Detection System over Encrypted Traffic. - Canard, Sébastien; Diop, Aïda; Kheir, Nizar; Paindavoine, Marie; Sabt, Mohamed (2017)

Cryptanalysis of GlobalPlatform Secure Channel Protocols. - Sabt, Mohamed; Traoré, Jacques (IACR Cryptol. ePrint Arch., 2017)

Outsmarting smartphones: trust based on provable security and hardware primitives in smartphones architectures. (Confiance basée sur la sécurité prouvée et ancrée aux dispositifs matériels dans les architectures des ordiphones). - Sabt, Mohamed (2016)

Breaking into the KeyStore: A Practical Forgery Attack Against Android KeyStore. - Sabt, Mohamed; Traoré, Jacques (2016)

Cryptanalysis of GlobalPlatform Secure Channel Protocols. - Sabt, Mohamed; Traoré, Jacques (2016)

Breaking Into the KeyStore: A Practical Forgery Attack Against Android KeyStore. - Sabt, Mohamed; Traoré, Jacques (IACR Cryptol. ePrint Arch., 2016)

Towards Integrating Trusted Execution Environment into Embedded Autonomic Systems. - Sabt, Mohamed; Achemlal, Mohammed; Bouabdallah, Abdelmadjid (2015)

The Dual-Execution-Environment Approach: Analysis and Comparative Evaluation. - Sabt, Mohamed; Achemlal, Mohammed; Bouabdallah, Abdelmadjid (2015)

Trusted Execution Environment: What It is, and What It is Not. - Sabt, Mohamed; Achemlal, Mohammed; Bouabdallah, Abdelmadjid (2015)