Lesly-Ann Daniel

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Hunting the Haunter — Efficient Relational Symbolic Execution for Spectre with Haunted RelSE

Lesly-Ann Daniel and others (2021) · Network and Distributed System Security Symposium

Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code

Lesly-Ann Daniel (2021)

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

Lesly-Ann Daniel and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP) · IEEE