Lesly-Ann Daniel

16 papers A* 8Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2024 A* conf
Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs.
SP
Hans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel, Frank Piessens
2024 J jnl
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version).
CoRR
Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens
2024 A* conf
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors.
CCS
Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens
2024 A* conf
Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes.
SP
Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck
2024 A* conf
The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024).
CCS
Lesly-Ann Daniel, Vineet Rajani
2023 A* conf
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries.
CCS
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
2023 J jnl
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries.
CoRR
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
2023 J jnl
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
ACM Trans. Priv. Secur.
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2023 J jnl
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).
CoRR
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023 A* conf
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
USENIX Security Symposium
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2022 J jnl
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
CoRR
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2021 A* conf
Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.
NDSS
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2021 — —
Symbolic Binary-Level Code Analysis for Security. (Analyse Symbolique de Code Binaire pour la Sécurité).
Lesly-Ann Daniel
2020 A* conf
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
SP
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2019 J jnl
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
CoRR
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2018 — conf
Inferring OpenVPN State Machines Using Protocol State Fuzzing.
EuroS&P Workshops
Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter