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

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

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

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

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). - Mohamed Sabt (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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