My research interest is in designing high performance secure systems that have a strong foundation in security. Since computer security cuts across multiple layers of the computing stack, my research areas include topics in program verification, compilers, runtime systems, and computer architecture.
Before researching topics in computer security, I worked on designing tools for optimizing scientific applications on high performance computing systems. The research experience gained from optimizing programs provides a reliable foundation that I use in my current research.
I teach a freshman course on computer security at UT Austin. The primary objective of this course is to help freshman students understand and engage in research. In accordance with the objective, students in this class read research papers, improve technical communication skills, and brainstorm research ideas.
Broad-Based Side-Channel Defenses for Modern Processor Architectures
Rising Stars in Computer Architecture Initiative, Georgia Institute of TechnologyRethinking Instruction Set Guarantees for Software-Driven Hardware Security
Workshop on Microprocessor/SoC Test, Security and VerificationSide-Channel Defenses for Modern Processor Architectures
Georgia Institute of TechnologyVale: Verifying High-Performance Cryptographic Assembly Code
Microsoft Research