Al Tariq Sheik

Papers

Total Citations

H-Index

About

Al Tariq Sheik is a researcher at the intersection of cybersecurity, formal verification, and autonomous systems, with a particular focus on the emerging domain of space systems security. His work addresses the critical challenge of ensuring both safety and security in autonomous robotic systems, where a security breach can directly impact physical safety. Sheik's most cited paper, "Challenges in threat modelling of new space systems: A teleoperation use-case" (2022, 14 citations), pioneers security analysis for next-generation space architectures, identifying unique vulnerabilities in teleoperated satellite systems. In his subsequent work, "Security-Minded Verification of Cooperative Awareness Messages" (2023, 5 citations), Sheik bridges the gap between formal verification and threat modelling, demonstrating how to systematically verify that autonomous systems obey safety properties while remaining resilient to cyber attacks. His research is particularly notable for addressing the dual nature of safety-critical autonomous systems, where traditional security approaches often fall short. By combining threat modelling with formal methods, Sheik is helping to establish a new paradigm for designing secure, verifiable autonomous systems—a contribution of growing importance as space systems and autonomous vehicles become increasingly interconnected and attack-prone.