Scholar
Lesly-Ann Daniel
Google Scholar ID: pbph4eUAAAAJ
Eurecom
microarchitectural security
HW-SW co-designs
binary analysis
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
340
H-index
7
i10-index
7
Publications
20
Co-authors
0
Publications
2 items
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
2026
Cited
0
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
Conference on Computer and Communications Security · 2024
Cited
0
