Mohamed Sabt

According to our database, Mohamed Sabt authored at least 20 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 33rd USENIX Security Symposium, 2024

Formal Security Analysis of Widevine through the W3C EME Standard.

Stéphanie Delaune, Joseph Lallemand, Gwendal Patat, Florian Roudot, Mohamed Sabt

Proceedings of the 33rd USENIX Security Symposium, 2024

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

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

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., October, 2023

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

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022

Exploring Widevine for Fun and Profit.

Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque

Proceedings of the 43rd IEEE Security and Privacy, 2022

WideLeak: How Over-the-Top Platforms Fail in Android.

Gwendal Patat, Mohamed Sabt, Pierre-Alain Fouque

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

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

PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild.

Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt

IACR Cryptol. ePrint Arch., 2021

Implementation of Lattice Trapdoors on Modules and Applications.

Pauline Bert, Gautier Eberhart, Lucas Prabel, Adeline Roux-Langlois, Mohamed Sabt

Proceedings of the Post-Quantum Cryptography - 12th International Workshop, 2021

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

Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild.

Daniel De Almeida Braga, Pierre-Alain Fouque, Mohamed Sabt

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2018

Practical Implementation of Ring-SIS/LWE Based Signature and IBE.

Pauline Bert, Pierre-Alain Fouque, Adeline Roux-Langlois, Mohamed Sabt

Proceedings of the Post-Quantum Cryptography - 9th International Conference, 2018

2017

Cryptanalysis of GlobalPlatform Secure Channel Protocols.

Mohamed Sabt, Jacques Traoré

IACR Cryptol. ePrint Arch., 2017

BlindIDS: Market-Compliant and Privacy-Friendly Intrusion Detection System over Encrypted Traffic.

Sébastien Canard, Aïda Diop, Nizar Kheir, Marie Paindavoine, Mohamed Sabt

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

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

PhD thesis, 2016

Breaking Into the KeyStore: A Practical Forgery Attack Against Android KeyStore.

Mohamed Sabt, Jacques Traoré

IACR Cryptol. ePrint Arch., 2016

2015

Trusted Execution Environment: What It is, and What It is Not.

Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

The Dual-Execution-Environment Approach: Analysis and Comparative Evaluation.

Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Towards Integrating Trusted Execution Environment into Embedded Autonomic Systems.

Mohamed Sabt, Mohammed Achemlal, Abdelmadjid Bouabdallah

Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015