Lesly-Ann Daniel

According to our database, Lesly-Ann Daniel authored at least 8 papers between 2018 and 2023.

Collaborative distances:

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

2023

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

ACM Trans. Priv. Secur., May, 2023

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).

Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens

CoRR, 2023

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.

Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens

Proceedings of the 32nd USENIX Security Symposium, 2023

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries.

Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Symbolic Binary-Level Code Analysis for Security. (Analyse Symbolique de Code Binaire pour la Sécurité).

Lesly-Ann Daniel

PhD thesis, 2021

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

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

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

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018

Inferring OpenVPN State Machines Using Protocol State Fuzzing.

Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018