Siraj A. Shaikh

35 papers B 3C 3Misc 3Journal 10Unranked 16

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cyber-physical and business perspectives using Federated Digital Twins in multinational and multimodal transportation systems. CoRR Ricardo M. Czekster, Alexeis Garcia-Perez, Manolya Kavakli-Thorne, Seif Allah El Mesloul Nasri, Siraj A. Shaikh
2024	J	`jnl`	TOMSAC - Methodology for trade-off management between automotive safety and cyber security. Comput. Secur. Giedre Sabaliauskaite, Jeremy W. Bryans, Hesamaldin Jadidbonab, Farhan Ahmad, Siraj A. Shaikh, Paul Wooderson
2021	—	`conf`	Formalising UPTANE in CSP for Security Testing. QRS Companion Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price
2020	—	`conf`	A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. ICST Workshops Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh
2019	—	`conf`	A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example. QRS Companion Daniel S. Fowler, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson, Siraj A. Shaikh
2019	C	`conf`	A Template-Based Method for the Generation of Attack Trees. WISTP Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, FengJun Zhou
2019	—	`conf`	Attack Defense Trees with Sequential Conjunction. HASE Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh
2018	—	`conf`	An Evidence Quality Assessment Model for Cyber Security Policymaking. Critical Infrastructure Protection Atif Hussain, Siraj A. Shaikh, Alex Chung, Sneha Dawda, Madeline Carr
2018	J	`jnl`	Building an automotive security assurance case using systematic security evaluations. Comput. Secur. Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Paul Wooderson
2017	C	`conf`	Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. WISTP Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh
2017	J	`jnl`	Towards a systematic security evaluation of the automotive Bluetooth interface. Veh. Commun. Madeline Cheah, Siraj A. Shaikh, Olivier C. L. Haas, Alastair R. Ruddle
2016	C	`conf`	Combining Third Party Components Securely in Automotive Systems. WISTP Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen
2013	—	`conf`	Autonomous Control in Military Logistics Vehicles: Trust and Safety Analysis. HCI (17) Nicole Gempton, Stefanos Skalistis, Jane Furness, Siraj A. Shaikh, Dobrila Petrovic
2013	J	`jnl`	Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise. Inf. Syst. Frontiers Howard Chivers, John A. Clark, Philip Nobles, Siraj A. Shaikh, Hao Chen
2013	Misc	`conf`	Monitoring for Slow Suspicious Activities Using a Target Centric Approach. ICISS Harsha K. Kalutarage, Siraj A. Shaikh, Qin Zhou, Anne E. James
2013	B	`conf`	Tracing Sources of Anonymous Slow Suspicious Activities. NSS Harsha K. Kalutarage, Siraj A. Shaikh, Qin Zhou, Anne E. James
2012	—	`conf`	Sensing for suspicion at scale: A Bayesian approach for cyber conflict attribution and reasoning. CyCon Harsha K. Kalutarage, Siraj A. Shaikh, Qin Zhou, Anne E. James
2011	B	`conf`	A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. SEFM Jin Tong, Siraj A. Shaikh, Anne E. James
2011	Misc	`conf`	Who's your best friend?: targeted privacy attacks In location-sharing social networks. UbiComp Vassilis Kostakos, Jayant Venkatanathan, Bernardo Reynolds, Norman M. Sadeh, Eran Toch, Siraj A. Shaikh, Simon L. Jones
2010	J	`jnl`	Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
2010	J	`jnl`	Characteristic trade-offs in designing large-scale biometric-based identity management systems. J. Netw. Comput. Appl. Siraj A. Shaikh, Joseph R. Rabaiotti
2010	—	`conf`	ICT Driven Knowledge Management in Developing Countries: A Case Study in a Chinese Organisation. WCITD/NF Jin Tong, Siraj A. Shaikh
2010	B	`conf`	Optimising IDS Sensor Placement. ARES Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles
2009	—	`conf`	A Deployment Value Model for Intrusion Detection Sensors. ISA Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen
2009	Misc	`conf`	A Multi-objective Optimisation Approach to IDS Sensor Placement. CISIS Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers, Philip Nobles
2009	J	`jnl`	Specifying authentication using signal events in CSP. Comput. Secur. Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
2007	J	`jnl`	A Biometric Authentication Protocol for 3G Mobile Systems: Modelled and Validated Using CSP and Rank Functions. Int. J. Netw. Secur. Christos K. Dimitriadis, Siraj A. Shaikh
2006	—	`conf`	Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions. SPC Siraj A. Shaikh, Christos K. Dimitriadis
2006	J	`jnl`	Analysing the Woo-Lam Protocol Using CSP and Rank Functions. J. Res. Pract. Inf. Technol. Siraj A. Shaikh, Vicky J. Bush
2005	—	`conf`	Analysing the Woo-Lam Protocol Using CSP and Rank Functions. WOSIS Siraj A. Shaikh, Vicky J. Bush
2005	—	`conf`	Specifying Authentication Using Signal Events in CSP. CISC Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
2004	—	`conf`	Analysis and implementation of virtual private network support in corporate networks. Parallel and Distributed Computing and Networks Siraj A. Shaikh, Samir Al-Khayatt
2002	—	`conf`	A Study of Encrypted, Tunneling Models in Virtual Private Networks. ITCC Samir Al-Khayatt, Siraj A. Shaikh, Babak Akhgar, Jawed I. A. Siddiqi
2002	—	`conf`	Performance of Multimedia Applications with IPSec Tunneling. ITCC Samir Al-Khayatt, Siraj A. Shaikh, Babak Akhgar, Jawed I. A. Siddiqi
2001	—	`conf`	Virtual Private Network Support in a Corporate Network. WebNet Samir Al-Khayatt, Mark Charlesworth, Siraj A. Shaikh