Lesly-Ann Daniel

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Automated Tools

Partially Blind Signature Scheme

Symbolic Execution

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. CCS (2023)
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. USENIX Security Symposium (2023)
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). CoRR (2023)
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. CoRR (2023)
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure. ACM Trans. Priv. Secur. 26 (2) (2023)
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure. CoRR (2022)
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. NDSS (2021)
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. IEEE Symposium on Security and Privacy (2020)
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. CoRR (2019)
Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter
Inferring OpenVPN State Machines Using Protocol State Fuzzing. EuroS&P Workshops (2018)