معرفی
Roles & Affiliations
Professor of Computer Science and Head of Cybersecurity Group at King's College London's Department of Informatics. Also serves as Vice-Dean (Enterprise and Engagement).
Research Interests
Focuses on Cybersecurity, Formal Methods, and Temporal Logic. Key areas include security protocol analysis, extended reality (XR) security, privacy preservation, and AI-driven cybersecurity solutions. His work bridges theoretical foundations with practical applications in healthcare, finance, and autonomous systems.
Recent Projects
- Leading the KubeSec-AFM project (KTP collaboration with ControlPlane) for Kubernetes security.
- Principal Investigator for SERMAS (Extended Reality Systems) and UNMASKED (Inauthenticity Detection).
Key Contributions
Developed tools like APOLLO (GPT-based phishing detection) and MobSTer (security testing framework). His work on formal analysis of security ceremonies and temporal networks has influenced policy-based resource exchanges in multiagent systems.
۰مقاله منتشرشده
