Seguir
Lesly-Ann Daniel
Título
Citado por
Citado por
Año
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
372020
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
172021
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
152018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6