Research Project Title:
Automated Attack Tree Generation for Critical Infrastructure
abstract:This project is a potential solution to the problem of threat modeling in critical infrastructure systems. The project uses AI planning techniques to automatically generate attack trees based on a formalized specification of the infrastructure system. This approach makes security more accessible to organizations that design infrastructure systems, that may not know where to start in addressing the security of their systems. The domain language used as input to the attack tree generator makes the system flexible to different system designs. Furthermore, the automation of attack tree generation makes threat modeling scalable for large systems with many parts.
"I am participating in SuperUROP because I want more experience doing research in my area of interest. I enjoyed taking 6.858 (Computer Systems Security) last semester and enjoy analyzing the security of systems. I'm excited to further my knowledge by taking on a research area in the field of security."