Research
Our research covers the forensics, auditing, and security of software, systems, and AI agents: practical techniques to investigate attacks when they happen, to audit what these systems do, and to make them more secure and reliable.
Cyber forensics · Auditing and provenance · Software security · Program analysis · System security · Distributed systems · AI agent security · Mobile security
Software Security
Program analysis for finding vulnerabilities, testing web applications, and protecting program logic.
System Security
Forensic reconstruction of attacks, audit logging and provenance tracking, plus record-and-replay and debugging of distributed systems.
AI Agent Security
Investigating incidents that involve AI agents, auditing their actions, and securing them.
IoT, Mobile & Cyber-Physical Security
Security and privacy of smart-home, mobile, and energy-infrastructure systems.