Siraj Shaikh

Personal profile

Research Interests

Formal Methods; Network Security ; Open Source Software ; ICT for Developing Countries

Biography

Siraj Ahmed Shaikh is Professor of Systems Security and currently the Director of Research at the Institute of Future Transport and Cities (IFTC) at Coventry University.

From February 2015 till May 2016, he was seconded to the Knowledge Transfer Network (KTN), which is the innovation network in Britain. He served as cyber security lead for the KTN coordinating activities across academia, industry and national policy. From March 2015 till March 2016, he was also seconded to HORIBA MIRA, as part of the Royal Academy of Engineering’s industrial secondment scheme.

In 2016, Siraj co-founded CyberOwl, which is a VC-backed commercial venture involved in developing early warning system for cyber threats, cyber-physical platform health and prognostics. CyberOwl is currently part of the UK’s 1^st GCHQ Cyber Accelerator.

Siraj has been involved in research, development and evaluation of large-scale distributed secure systems for over twenty years. His doctoral and post-doctoral research involved design and verification of security and safety-critical systems.

Vision Statement

Systems security lies at the intersection of cyber security, systems engineering and computer science. Siraj's research addresses a range of problem domains including monitoring of insider and stealthy attacks, automotive and transport cybersecurity, and software assurance. His research brings together a mix of research methods including formal methods (process algebra), (Bayesian) statistical analysis and others.

Fingerprint Dive into the research topics where Siraj Shaikh is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

3 Active
6 Finished

KTP with IQHQ

Nguyen, H. N. & Shaikh, S.

3/02/20 → 2/08/22

Project: Research

Secure-CAV

Nguyen, H. N., Shaikh, S., Bryans, J. & Jadidbonab, H.

1/12/19 → 1/03/22

Project: Research

CR4B: Cyber Readiness for Boards Project

Carr, M., Sasse, A., Parkin, S., Moore, T., Hoepner , A., Shaikh, S. & Kuhn, K.

1/09/18 → 30/09/21

Project: Research

ResiCAV: ResiCAV -Resilient CAV

Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.

1/01/20 → 31/03/20

Project: Research

Connecting delayed pre-commitment with cyber awareness in order to address the perception gap and present bias.

Cartwright, A., Cartwright, E., Marshall, J., Shaikh, S. & Andrikopoulos, P.

1/01/19 → 31/03/20

Project: Research

Research Output

221 Citations
8 h-Index
25 Article
20 Conference proceeding
17 Chapter
2 Paper
5 More

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates

Mahmood, S., Fouillade, A., Nguyen, H. N. & Shaikh, S., 29 Jan 2020, (Accepted/In press) 16th Workshop on Advances in Model Based Testing (A-MOST 2020). Vol. (In-press). p. (In-press)

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

A Template-based Method for the Generation of Attack Trees

Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 2 Mar 2020, Information Security Theory and Practice - 13th IFIP WG 11.2 International Conference, WISTP 2019, Proceedings. Laurent, M. & Giannetsos, T. (eds.). 1 ed. Springer, Cham , p. 155-165 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12024 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Roggenbach, M., Cerone, A., Schlingloff, B-H., Schneider, G. & Shaikh, S., 2020, (Accepted/In press) 1 ed. Springer International Publishing. 440 p.

Research output: Book/Report › Book

Games for Cybersecurity Decision-making

Hussain, A., Kuhn, K. & Shaikh, S., 2020, HCI in Games - 2nd International Conference, HCI-Games 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Proceedings: Second International Conference, HCI-Games 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings. Fang, X. (ed.). 1 ed. Springer, Vol. 12211. p. 411-423 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12211 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

Open Access

File

48 Downloads (Pure)

Maritime Ports and Cybersecurity

Kuhn, K., Kipkech, J. & Shaikh, S., 2020, (Accepted/In press) Maritime Transport and ITS Solutions in Port Logistics . Institution of Engineering and Technology, Vol. (In-press). p. (In-press)

Research output: Chapter in Book/Report/Conference proceeding › Chapter