Virtual Private Network Support in a Corporate Network. - Samir Al-Khayatt; Mark Charlesworth; Siraj A. Shaikh (WebNet, 2001)

Performance of Multimedia Applications with IPSec Tunneling. - Samir Al-Khayatt; Siraj A. Shaikh; Babak Akhgar; Jawed I. A. Siddiqi (ITCC, 2002)

A Study of Encrypted, Tunneling Models in Virtual Private Networks. - Samir Al-Khayatt; Siraj A. Shaikh; Babak Akhgar; Jawed I. A. Siddiqi (ITCC, 2002)

Analysis and implementation of virtual private network support in corporate networks. - Siraj A. Shaikh; Samir Al-Khayatt (Parallel and Distributed Computing and Networks, 2004)

Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions. - Siraj A. Shaikh; Christos K. Dimitriadis (SPC, 2006)

Analysing the Woo-Lam Protocol Using CSP and Rank Functions. - Siraj A. Shaikh; Vicky J. Bush (J. Res. Pract. Inf. Technol., 2006)

A Biometric Authentication Protocol for 3G Mobile Systems: Modelled and Validated Using CSP and Rank Functions. - Christos K. Dimitriadis; Siraj A. Shaikh (Int. J. Netw. Secur., 2007)

A Multi-objective Optimisation Approach to IDS Sensor Placement. - Hao Chen 032; John A. Clark; Juan E. Tapiador; Siraj A. Shaikh; Howard Chivers; Philip Nobles (CISIS, 2009)

A Deployment Value Model for Intrusion Detection Sensors. - Siraj A. Shaikh; Howard Chivers; Philip Nobles; John A. Clark; Hao Chen 032 (ISA, 2009)

Specifying authentication using signal events in CSP. - Siraj A. Shaikh; Vicky J. Bush; Steve A. Schneider (Comput. Secur., 2009)

Preface. - Luís Soares Barbosa; Antonio Cerone; Siraj Ahmed Shaikh (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Towards a metric for Open Source Software Quality. - Siraj Ahmed Shaikh; Antonio Cerone (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Optimising IDS Sensor Placement. - Hao Chen 032; John A. Clark; Siraj A. Shaikh; Howard Chivers; Philip Nobles (ARES, 2010)

ICT Driven Knowledge Management in Developing Countries: A Case Study in a Chinese Organisation. - Jin Tong; Siraj A. Shaikh (WCITD/NF, 2010)

Certification of open-source software: A role for formal methods? - Luís Soares Barbosa; Antonio Cerone; Alexander K. Petrenko; Siraj A. Shaikh (Comput. Syst. Sci. Eng., 2010)

Methodologies and Tools for OSS: Current State of the Practice. - Zulqarnain Hashmi; Siraj Ahmed Shaikh; Naveed Ikram (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Characteristic trade-offs in designing large-scale biometric-based identity management systems. - Siraj A. Shaikh; Joseph R. Rabaiotti (J. Netw. Comput. Appl., 2010)

Who's your best friend?: targeted privacy attacks In location-sharing social networks. - Vassilis Kostakos; Jayant Venkatanathan; Bernardo Reynolds; Norman M. Sadeh; Eran Toch; Siraj A. Shaikh; Simon L. Jones (UbiComp, 2011)

A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. - Jin Tong; Siraj A. Shaikh; Anne E. James (SEFM, 2011)

Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities. - Antonio Cerone; Simon Fong 001; Siraj Ahmed Shaikh (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Sensing for suspicion at scale: A Bayesian approach for cyber conflict attribution and reasoning. - Harsha K. Kalutarage; Siraj A. Shaikh; Qin Zhou 004; Anne E. James (CyCon, 2012)

Models of Knowledge Transfer for Sustainable Development. - Ettore Bolisani; Francesca Scramoncin; Siraj Ahmed Shaikh (SEFM Satellite Events, 2012)

A Certification Process for Android Applications. - Harsha K. Kalutarage; Padmanabhan Krishnan; Siraj Ahmed Shaikh (SEFM Satellite Events, 2012)

A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles - Siraj Ahmed Shaikh; Padmanabhan Krishnan (FTSCS, 2012)

Efficient and Reliable Transportation of Consignments (ERTOC). - Javed Akhtar; John Bailey; David Weatherby; Siraj Ahmed Shaikh; David Ireland; Daniel Payne; Luke Antins; Dave Barker (Int. J. Appl. Logist., 2012)

Autonomous Control in Military Logistics Vehicles: Trust and Safety Analysis. - Nicole Gempton; Stefanos Skalistis; Jane Furness; Siraj A. Shaikh; Dobrila Petrovic (HCI (17), 2013)

Monitoring for Slow Suspicious Activities Using a Target Centric Approach. - Harsha K. Kalutarage; Siraj A. Shaikh; Qin Zhou 004; Anne E. James (ICISS, 2013)

Operating heavy duty vehicles under extreme heat conditions: A fuzzy approach for smart gear-shifting strategy. - Stefanos Skalistis; Dobrila Petrovic; Siraj Ahmed Shaikh (ITSC, 2013)

Tracing Sources of Anonymous Slow Suspicious Activities. - Harsha K. Kalutarage; Siraj A. Shaikh; Qin Zhou 004; Anne E. James (NSS, 2013)

Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise. - Howard Chivers; John A. Clark; Philip Nobles; Siraj A. Shaikh; Hao Chen 032 (Inf. Syst. Frontiers, 2013)

Selected contributions from the Open Source Software Certification (OpenCert) workshops. - Luís Soares Barbosa; Siraj Ahmed Shaikh (Sci. Comput. Program., 2014)

Towards an Early Warning System for Network Attacks Using Bayesian Inference. - Harsha Kumara Kalutarage; Chonho Lee; Siraj Ahmed Shaikh; Francis Bu-Sung Lee (CSCloud, 2015)

A Model for Characterizing Cyberpower. - Adrian Venables; Siraj Ahmed Shaikh; James Shuttleworth (Critical Infrastructure Protection, 2015)

Early Warning Systems for Cyber Defence. - Harsha K. Kalutarage; Siraj Ahmed Shaikh; Bu-Sung Lee; Chonho Lee; Chai Kiat Yeo (iNetSeC, 2015)

Detecting stealthy attacks: Efficient monitoring of suspicious activities on computer networks. - Harsha K. Kalutarage; Siraj Ahmed Shaikh; Indika P. Wickramasinghe; Qin Zhou 004; Anne E. James (Comput. Electr. Eng., 2015)

Towards a knowledge-based approach for effective decision-making in railway safety. - Alexeis Garcia-Perez; Siraj Ahmed Shaikh; Harsha K. Kalutarage; Mahsa Jahantab (J. Knowl. Manag., 2015)

Towards Automated Android App Collusion Detection. - Irina Mariuca Asavoae; Jorge Blasco; Thomas M. Chen; Harsha Kumara Kalutarage; Igor Muttik; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (IMPS@ESSoS, 2016)

Utilising $${ mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FMICS-AVoCS, 2016)

Combining Third Party Components Securely in Automotive Systems. - Madeline Cheah; Siraj A. Shaikh; Jeremy W. Bryans; Hoang Nga Nguyen (WISTP, 2016)

Effective network security monitoring: from attribution to target-centric monitoring. - Siraj Ahmed Shaikh; Harsha Kumara Kalutarage (Telecommun. Syst., 2016)

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study. - Madeline Cheah; Jeremy W. Bryans; Daniel S. Fowler; Siraj Ahmed Shaikh (DSN Workshops, 2017)

Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FTfJP@ECOOP, 2017)

Towards a Testbed for Automotive Cybersecurity. - Daniel S. Fowler; Madeline Cheah; Siraj Ahmed Shaikh; Jeremy W. Bryans (ICST, 2017)

Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. - Madeline Cheah; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh (WISTP, 2017)

Software Model Checking: A Promising Approach to Verify Mobile App Security. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (CoRR, 2017)

Towards a threat assessment framework for apps collusion. - Harsha Kumara Kalutarage; Hoang Nga Nguyen; Siraj Ahmed Shaikh (Telecommun. Syst., 2017)

Towards a systematic security evaluation of the automotive Bluetooth interface. - Madeline Cheah; Siraj A. Shaikh; Olivier C. L. Haas; Alastair R. Ruddle (Veh. Commun., 2017)

Fuzz Testing for Automotive Cyber-Security. - Daniel S. Fowler; Jeremy W. Bryans; Siraj Ahmed Shaikh; Paul Wooderson (DSN Workshops, 2018)

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh; Harsha Kumara Kalutarage (DSN Workshops, 2018)

Using a one-class compound classifier to detect in-vehicle network attacks. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh (GECCO (Companion), 2018)

An Evidence Quality Assessment Model for Cyber Security Policymaking. - Atif Hussain; Siraj A. Shaikh; Alex Chung; Sneha Dawda; Madeline Carr (Critical Infrastructure Protection, 2018)

Building an automotive security assurance case using systematic security evaluations. - Madeline Cheah; Siraj A. Shaikh; Jeremy W. Bryans; Paul Wooderson (Comput. Secur., 2018)

Enabling Security Checking of Automotive ECUs with Formal CSP Models. - John Heneghan; Siraj Ahmed Shaikh; Jeremy W. Bryans; Madeline Cheah; Paul Wooderson (DSN Workshops, 2019)

Attack Defense Trees with Sequential Conjunction. - Jeremy W. Bryans; Hoang Nga Nguyen; Siraj A. Shaikh (HASE, 2019)

Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World. - Hoang Nga Nguyen; Siamak Tavakoli; Siraj Ahmed Shaikh; Oliver Maynard (ICST Workshops, 2019)

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example. - Daniel S. Fowler; Jeremy W. Bryans; Madeline Cheah; Paul Wooderson; Siraj A. Shaikh (QRS Companion, 2019)

A Template-Based Method for the Generation of Attack Trees. - Jeremy W. Bryans; Lin Shen Liew; Hoang Nga Nguyen; Giedre Sabaliauskaite; Siraj A. Shaikh; Fengjun Zhou (WISTP, 2019)

A New Architecture for Network Intrusion Detection and Prevention. - Waleed Bul'ajoul; Anne E. James; Siraj Ahmed Shaikh (IEEE Access, 2019)

Games for Cybersecurity Decision-Making. - Atif Hussain; Kristen Kuhn; Siraj Ahmed Shaikh (HCI (31), 2020)

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. - Shahid Mahmood; Alexy Fouillade; Hoang Nga Nguyen; Siraj A. Shaikh (ICST Workshops, 2020)

Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; David Evans; David Price (DSN Workshops, 2021)

Formalising UPTANE in CSP for Security Testing. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh; David Evans; David Price (QRS Companion, 2021)

A Real-Time In-Vehicle Network Testbed for Machine Learning-Based IDS Training and Validation. - Hesamaldin Jadidbonab; Andrew Tomlinson; Hoang Nga Nguyen; Trang Doan; Siraj Ahmed Shaikh (AI-Cybersec@SGAI, 2021)

Using internal context to detect automotive controller area network attacks. - Andrew Tomlinson; Jeremy W. Bryans; Siraj Ahmed Shaikh (Comput. Electr. Eng., 2021)

Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; David Evans (NOMS, 2022)

A Hardware-based SoC Monitoring In-life Solution for Automotive Industry. - Hesamaldin Jadidbonab; Hoang Nga Nguyen; Siraj Ahmed Shaikh; Marcin Hlond; Peter Robertson; Gajinder Panesar (PerCom Workshops, 2022)

Drivers and barriers for secure hardware adoption across ecosystem stakeholders. - Andrew Tomlinson; Simon Parkin; Siraj Ahmed Shaikh (J. Cybersecur., 2022)

Systematic threat assessment and security testing of automotive over-the-air (OTA) updates. - Shahid Mahmood; Hoang Nga Nguyen; Siraj Ahmed Shaikh (Veh. Commun., 2022)

Formal Methods for Software Engineering - Languages, Methods, Application Domains - Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh (Springer, 2022)

Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis. - Jeremy W. Bryans; Lin Shen Liew; Hoang Nga Nguyen; Giedre Sabaliauskaite; Siraj Ahmed Shaikh (Inf., 2023)

A formal framework for security testing of automotive over-the-air update systems. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj Ahmed Shaikh; Charles Wartnaby (J. Log. Algebraic Methods Program., 2023)

Vehicular Platoon Communication: Architecture, Security Threats and Open Challenges. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh (Sensors, 2023)

Executive decision-makers: a scenario-based approach to assessing organizational cyber-risk perception. - Simon Parkin; Kristen Kuhn; Siraj Ahmed Shaikh (J. Cybersecur., 2023)

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons. - Sean Joe Taylor; Farhan Ahmad; Hoang Nga Nguyen; Siraj Ahmed Shaikh; Jeremy W. Bryans; Charles Wartnaby (Trans. Emerg. Telecommun. Technol., 2023)

TOMSAC - Methodology for trade-off management between automotive safety and cyber security. - Giedre Sabaliauskaite; Jeremy W. Bryans; Hesamaldin Jadidbonab; Farhan Ahmad; Siraj A. Shaikh; Paul Wooderson (Comput. Secur., 2024)

Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art. - Alireza Nezhadettehad; Arkady B. Zaslavsky; Abdur Rakib; Siraj Ahmed Shaikh; Seng W. Loke; Guang-Li Huang; Alireza Hassani (CoRR, 2024)

Cyber-physical and business perspectives using Federated Digital Twins in multinational and multimodal transportation systems. - Ricardo M. Czekster; Alexeis Garcia-Perez; Manolya Kavakli-Thorne; Seif Allah El Mesloul Nasri; Siraj A. Shaikh (CoRR, 2024)

A simulation framework for automotive cybersecurity risk assessment. - Don Nalin Dharshana Jayaratne; Suraj Harsha Kamtam; Siraj Ahmed Shaikh; Muhamad Azfar Ramli; Qian Lu; Rakhi Manohar Mepparambath; Hoang Nga Nguyen; Abdur Rakib (Simul. Model. Pract. Theory, 2024)

Addressing the Economics of Critical National Infrastructure (CNI) Security. - Siraj Ahmed Shaikh (CSR, 2025)

WOLVES: Window of Opportunity attack feasibility likelihood value estimation through a simulation-based approach. - Suraj Harsha Kamtam; Qian Lu; Abdur Rakib; Muhamad Azfar Ramli; Rakhi Manohar Mepparambath; Siraj Ahmed Shaikh; Hoang Nga Nguyen (Comput. Secur., 2025)