Follow
Mohamed Sabt
Mohamed Sabt
Univ Rennes, CNRS, IRISA
Verified email at irisa.fr - Homepage
Title
Cited by
Cited by
Year
Trusted execution environment: What it is, and what it is not
M Sabt, M Achemlal, A Bouabdallah
2015 IEEE Trustcom/BigDataSE/Ispa 1, 57-64, 2015
7742015
BlindIDS: Market-compliant and privacy-friendly intrusion detection system over encrypted traffic
S Canard, A Diop, N Kheir, M Paindavoine, M Sabt
Proceedings of the 2017 ACM on Asia Conference on Computer and …, 2017
792017
Practical implementation of ring-SIS/LWE based signature and IBE
P Bert, PA Fouque, A Roux-Langlois, M Sabt
Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort …, 2018
652018
“They’re not that hard to mitigate”: What cryptographic library developers think about timing attacks
J Jancar, M Fourné, DDA Braga, M Sabt, P Schwabe, G Barthe, ...
2022 IEEE Symposium on Security and Privacy (SP), 632-649, 2022
552022
Breaking into the keystore: A practical forgery attack against Android keystore
M Sabt, J Traoré
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
412016
Implementation of lattice trapdoors on modules and applications
P Bert, G Eberhart, L Prabel, A Roux-Langlois, M Sabt
Post-Quantum Cryptography: 12th International Workshop, PQCrypto 2021 …, 2021
292021
The dual-execution-environment approach: Analysis and comparative evaluation
M Sabt, M Achemlal, A Bouabdallah
ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015
222015
Dragonblood is still leaking: Practical cache-based side-channel in the wild
D de Almeida Braga, PA Fouque, M Sabt
Proceedings of the 36th Annual Computer Security Applications Conference …, 2020
192020
PARASITE: Password recovery attack against SRP implementations in the wild
D de Almeida Braga, PA Fouque, M Sabt
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
132021
Exploring widevine for fun and profit
G Patat, M Sabt, PA Fouque
2022 IEEE Security and Privacy Workshops (SPW), 277-288, 2022
102022
Cryptanalysis of globalplatform secure channel protocols
M Sabt, J Traoré
Security Standardisation Research: Third International Conference, SSR 2016 …, 2016
92016
Method for securing contactless transactions
M Sabt, M Alattar, M Achemlal
US Patent 11,282,079, 2022
82022
WideLeak: How Over-the-Top Platforms Fail in Android
G Patat, M Sabt, PA Fouque
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022
52022
Please remember me: security analysis of U2F remember me implementations in the wild
G Patat, M Sabt
Actes SSTIC 2020, 18ème Symposium sur la sécurité des technologies de l …, 2020
52020
Towards integrating trusted execution environment into embedded autonomic systems
M Sabt, M Achemlal, A Bouabdallah
2015 IEEE International Conference on Autonomic Computing, 165-166, 2015
42015
Over-the-internet: efficient remote content management for secure elements in mobile devices
M Sabt, M Achemlal, A Bouabdallah
2015 First Conference on Mobile and Secure Services (MOBISECSERV), 1-5, 2015
42015
The long and winding path to secure implementation of GlobalPlatform SCP10
DDA Braga, PA Fouque, M Sabt
Cryptology ePrint Archive, 2020
22020
“These results must be false”: A usability evaluation of constant-time analysis tools
M Fourné, DDA Braga, J Jancar, M Sabt, P Schwabe, G Barthe, ...
33th USENIX Security Symposium (USENIX Security 2024), 2024
12024
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake
DDA Braga, N Kulatova, M Sabt, PA Fouque, K Bhargavan
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 707-723, 2023
12023
Formal Security Analysis of Widevine through the {W3C}{EME} Standard
S Delaune, J Lallemand, G Patat, F Roudot, M Sabt
33rd USENIX Security Symposium (USENIX Security 24), 6399-6415, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20