PhD Student
52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
ACM Conference on Computer and Communications Security (CCS)
Workshop on Programming Languages and Analysis for Security (PLAS)