I am a first year Ph.D. student in the School of Electrical & Computer Engineering (ECE) at Georgia Institute of Technology, working under the direction of Professor Brendan Saltaformaggio. My research focuses on the analysis of cyber-physical systems malware, specifically extracting models of the hardware required by the binary for its execution and monitoring their implications.
Prior to joining Georgia Tech, I worked as an ASIC Verification Engineer in Infinera and Nvidia (India) for 4 years where I built test environments to verify interface modules in hardware chips by modeling the hardware profiles of its interacting components. This motivated me to join Prof. Saltaformaggio's research group to work on binary analysis and the gamut of applications it enables in the software security research community.
Please find my academic CV here.