Georgia Institute of Technology, Atlanta, GA
Under the guidance of Dr. Brendan Saltaformaggio, my research focuses on modeling symbolic hardware constraints towards developing a malware analysis framework which enables dynamic analysis of cyber-physical malware without access to the specialized ICS hardware. The objective of this research is to develop a novel dynamic execution framework addressing the shortcomings of the existing analysis techniques, with the goals of generating constraints to reason about the inputs, hardware, capabilities, and potential targets of the attack — thus enabling the rapid remediation of an attack’s impacts.
Alongside this development, I am also leading an exploratory research problem to understand the trends in CMS based website attacks. I am working on a data-driven prediction framework to understand the temporal correlation of attack evidence across the corpus of real world websites, with goals of modeling these attacks, detecting them, and predicting any future attacks.