Inferring OpenVPN State Machines Using Protocol State Fuzzing. - Lesly-Ann Daniel; Erik Poll; Joeri de Ruiter (EuroS&P Workshops, 2018)

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. - Lesly-Ann Daniel; Sébastien Bardin; Tamara Rezk (SP, 2020)

Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. - Lesly-Ann Daniel; Sébastien Bardin; Tamara Rezk (NDSS, 2021)

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

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 (CCS, 2023)

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. - Lesly-Ann Daniel; Marton Bognar; Job Noorman; Sébastien Bardin; Tamara Rezk; Frank Piessens (USENIX Security Symposium, 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)

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., 2023)

The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024). - Lesly-Ann Daniel; Vineet Rajani (CCS, 2024)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors. - Hans Winderix; Marton Bognar; Lesly-Ann Daniel; Frank Piessens (CCS, 2024)

Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. - Fritz Alder; Lesly-Ann Daniel; David F. Oswald; Frank Piessens; Jo Van Bulck (SP, 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 (SP, 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)