About Me

I design and build secure and reliable systems in a broad variety of areas from cyber-physical systems to cloud computing.
My research seeks to achieve this using and developing novel techniques in operating systems, program analysis, and binary analysis and instrumentation.

Cyber-Physical Systems Security:
Many cyber-physical systems are critical to human safety but still vulnerable to even primitive attacks. I develop techniques to analyze insecure cyber-physical systems and rethink their design to make them secure [SEC 2019&sext;, NDSS 2018&sext;, ACSAC 2017].

System Anomaly Detection and Diagnosis:
It is challenging to monitor system states and detect anomalies in production environments due to practical constraints. Also, after an incident has taken place understanding how it happened and where it came from is crucial to prevent it from ever happening again. I develop highly efficient and precise techniques to detect abnormal system behaviors and discover their hidden root causes [ACSAC 2019, CODASPY 2019, SEC 2018, WWW 2017, FSE 2016&sext;, ACSAC 2015, SIGMETRICS 2014&sext;].

Confidential Cloud Computing:
The confidentiality and integrity of sensitive code and data are a major concern of moving computation to shared computing environments, especially cloud platforms. I design system architectures to provide confidential deployment and execution of sensitive programs in cloud infrastructures [TDSC (2018), ASIACCS 2015&sext;].