| 2024 | CCS | The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024). | Lesly-Ann Daniel, Vineet Rajani |
| 2024 | CCS | Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors. | Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens |
| 2024 | SP | Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. | Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck |
| 2024 | SP | 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 |
| 2023 | CCS | A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. | Antoine Geimer, Matho Vergnolle, Frdric Recoules, Lesly-Ann Daniel, Sbastien Bardin, Clmentine Maurice |
| 2021 | NDSS | Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. | Lesly-Ann Daniel, Sbastien Bardin, Tamara Rezk |
| 2020 | SP | Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. | Lesly-Ann Daniel, Sbastien Bardin, Tamara Rezk |