Arun Ravindran

My research interests include developing autonomous, adaptive security mechanisms for IoT and cyber-physical systems. The Aigis project focuses on creating a multi-agent workflow that automates the full offense–defense cycle in system security. The work brings together ideas from formal methods, artificial intelligence, and automated vulnerability analysis to build systems that can continually assess and strengthen their own security posture. Several themes that this project explores are:

• Autonomous vulnerability discovery in IoT and embedded environments
• Automated exploit synthesis using coordinated AI agents
• Formal-logic-driven generation of security countermeasures
• Sandboxed validation of attacks and defenses for reproducible evaluation
• Closed-loop offense–defense workflows that enable self-improving security systems