Mohamed Sabt

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