Follow
Lesly-Ann Daniel
Title
Cited by
Cited by
Year
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
LA Daniel, S Bardin, T Rezk
2020 IEEE Symposium on Security and Privacy (SP), 1021-1038, 2020
332020
Hunting the Haunter—Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
LA Daniel, S Bardin, T Rezk
Network and Distributed System Security Symposium, 2021
142021
Inferring OpenVPN State Machines Using Protocol State Fuzzing
LA Daniel, E Poll, J de Ruiter
2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 11-19, 2018
132018
Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre
LA Daniel, S Bardin, T Rezk
2021
Evaluating a Processing-in-Memory Architecture with the k-means Algorithm
S Bihel, LA Daniel, F De Moor, B Thomas
2017
BINSEC/REL: Exécution Symbolique Relationnelle Efficace pour l’Analyse de Binaire Constant-Time
LA Daniel, S Bardin, T Rezk
The system can't perform the operation now. Try again later.
Articles 1–6