Lesly-Ann Daniel

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

Collaborative distances:

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

2024

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version).

Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens

CoRR, 2024

Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs.

Hans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel, Frank Piessens

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes.

Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors.

Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens

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

The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024).

Lesly-Ann Daniel, Vineet Rajani

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

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