Mohamed Sabt

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 25

Top Topics

Intrusion Detection

Execution Environment

Comparative Evaluation

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks. Software Engineering (2024)
Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt
Formal Security Analysis of Widevine through the W3C EME Standard. USENIX Security Symposium (2024)
Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
"These results must be false": A usability evaluation of constant-time analysis tools. USENIX Security Symposium (2024)
Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
Your DRM Can Watch You Too: Exploring the Privacy Implications of Browsers (mis)Implementations of Widevine EME. CoRR (2023)
Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
Your DRM Can Watch You Too: Exploring the Privacy Implications of Browsers (mis)Implementations of Widevine EME. Proc. Priv. Enhancing Technol. 2023 (4) (2023)
Daniel De Almeida Braga, Natalia Kulatova, Mohamed Sabt, Pierre-Alain Fouque, Karthikeyan Bhargavan
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake. CoRR (2023)
Daniel De Almeida Braga, Natalia Kulatova, Mohamed Sabt, Pierre-Alain Fouque, Karthikeyan Bhargavan
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake. EuroS&P (2023)
Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
WideLeak: How Over-the-Top Platforms Fail in Android. DSN (2022)
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks. IEEE Symposium on Security and Privacy (2022)
Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
Exploring Widevine for Fun and Profit. SP Workshops (2022)
Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque
Exploring Widevine for Fun and Profit. CoRR (2022)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild. IACR Cryptol. ePrint Arch. 2021 (2021)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild. CCS (2021)
Pauline Bert, Gautier Eberhart, Lucas Prabel, Adeline Roux-Langlois, Mohamed Sabt
Implementation of Lattice Trapdoors on Modules and Applications. PQCrypto (2021)
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks. IACR Cryptol. ePrint Arch. 2021 (2021)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10. IACR Cryptol. ePrint Arch. 2020 (2020)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild. ACSAC (2020)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020 (3) (2020)
Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt
Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild. CoRR (2020)
Pauline Bert, Pierre-Alain Fouque, Adeline Roux-Langlois, Mohamed Sabt
Practical Implementation of Ring-SIS/LWE Based Signature and IBE. PQCrypto (2018)
Sébastien Canard, Aïda Diop, Nizar Kheir, Marie Paindavoine, Mohamed Sabt
BlindIDS: Market-Compliant and Privacy-Friendly Intrusion Detection System over Encrypted Traffic. AsiaCCS (2017)
Mohamed Sabt, Jacques Traoré
Cryptanalysis of GlobalPlatform Secure Channel Protocols. IACR Cryptol. ePrint Arch. 2017 (2017)
Mohamed Sabt, Jacques Traoré
Cryptanalysis of GlobalPlatform Secure Channel Protocols. SSR (2016)
Mohamed Sabt, Jacques Traoré
Breaking into the KeyStore: A Practical Forgery Attack Against Android KeyStore. ESORICS (2) (2016)
Mohamed Sabt, Jacques Traoré
Breaking Into the KeyStore: A Practical Forgery Attack Against Android KeyStore. IACR Cryptol. ePrint Arch. 2016 (2016)
Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah
Towards Integrating Trusted Execution Environment into Embedded Autonomic Systems. ICAC (2015)
Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah
Trusted Execution Environment: What It is, and What It is Not. TrustCom/BigDataSE/ISPA (1) (2015)
Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah
The Dual-Execution-Environment Approach: Analysis and Comparative Evaluation. SEC (2015)