I am a PhD student in the Department of Computer Science at the College of William and Mary, being advised by Prof. Adwait Nadkarni. My research interests lie in analyzing security policies employed in modern operating systems as well as designing security frameworks that enforces such policies. I work at the Secure Platforms Lab (SPL) at William & Mary, where currently, I am involved in identifying and analyzing security problems in smart home platforms and devices, especially concerning home automation.
- August 10, 2021: Our paper, Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques has been accepted for publication at the IEEE Symposium on Security and Privacy 2022! [pdf]
- January 21, 2021: Our paper, Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android., has been accepted to the Tool Demo Track at ICSE'21! (ICSE'21 Demonstrations)
- November 24, 2020: Our paper, Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques., has been accepted to the ACM Transactions on Privacy and Security! ( TOPS)
- July 2, 2020: Our paper, Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue, has been accepted to the ACM Transactions on Cyber Physical Systems, special issue on Security and Privacy for Connected CPS (TCPS)!
- January 15, 2020: Our paper titled 'Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses' has been accepted for publication at IEEE Symposium on Security and Privacy (S&P) 2020!
- March 26, 2019: Our paper 'A Study of Data Store-based Home Automation' has won the best paper award in CODASPY'19!
- December 28, 2018: Our recent work on smart home security got covered in the press!
- November 27, 2018: Our paper titled 'A Study of Data Store-based Home Automation' got accepted to 9th ACM Conference on Data and Application Security and Privacy! [pdf]