Scholar
Tamara Rezk
Google Scholar ID: LHAHloYAAAAJ
INRIA
transient execution attacks
web security
security analyses
formal semantics
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,698
H-index
29
i10-index
41
Publications
20
Co-authors
6
list available
Publications
4 items
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
2026
Cited
0
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
2026
Cited
0
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
arXiv.org · 2024
Cited
0
On Kernel's Safety in the Spectre Era (Extended Version)
arXiv.org · 2024
Cited
0
Co-authors
2 total
Lesly-Ann Daniel
Eurecom
Dolière Francis Somé
CISPA-Stanford Center for Cybersecurity https://www.cispa-stanford.org/
