PhD Student
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Automatic and Incremental Repair for Speculative Information Leaks.