Lesly-Ann Daniel

Identifiers

• name variant Lesly-Ann Daniel 0.60 · backfill

Papers (5)

1. Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version) cs.CR · 2024 · author #3
2. A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries cs.CR · 2023 · author #4
3. ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version) cs.CR · 2023 · author #1
4. Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure cs.CR · 2022 · author #1
5. Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level cs.CR · 2019 · author #1

Mentions

• 2409.03743 #3 · arxiv_oai · confidence 0.70 Lesly-Ann Daniel
• 2310.08153 #4 · arxiv_oai · confidence 0.70 Lesly-Ann Daniel
• 2302.12108 #1 · arxiv_oai · confidence 0.70 Lesly-Ann Daniel
• 2209.01129 #1 · arxiv_oai · confidence 0.70 Lesly-Ann Daniel
• 1912.08788 #1 · arxiv_oai · confidence 0.70 Lesly-Ann Daniel

Frequent Coauthors

• S\'ebastien Bardin 4 shared papers
• Tamara Rezk 3 shared papers
• Frank Piessens 2 shared papers
• Marton Bognar 2 shared papers
• Antoine Geimer 1 shared papers
• Cl\'ementine Maurice 1 shared papers
• Fr\'ed\'eric Recoules 1 shared papers
• Hans Winderix 1 shared papers
• Job Noorman 1 shared papers
• Math\'eo Vergnolle 1 shared papers