Jeremy W. Bryans

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 25

Top Topics

Intrusion Detection

Emergency Management

Collaborative Design

Network Attacks

Top Venues

Publications

Giedre Sabaliauskaite, Jeremy W. Bryans, Hesamaldin Jadidbonab, Farhan Ahmad, Siraj A. Shaikh, Paul Wooderson
TOMSAC - Methodology for trade-off management between automotive safety and cyber security. Comput. Secur. 140 (2024)
Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans
State-of-the-art authentication and verification schemes in VANETs: A survey. Veh. Commun. 49 (2024)
Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Jeremy W. Bryans, Charles Wartnaby
A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons. Trans. Emerg. Telecommun. Technol. 34 (11) (2023)
Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby
A formal framework for security testing of automotive over-the-air update systems. J. Log. Algebraic Methods Program. 130 (2023)
Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Ahmed Shaikh
Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis. Inf. 14 (9) (2023)
Ahmed Nawaz Khan, Jeremy W. Bryans, Giedre Sabaliauskaite, Hesamaldin Jadidbonab
Integrated Attack Tree in Residual Risk Management Framework. Inf. 14 (12) (2023)
Ahmed Khan, Jeremy W. Bryans, Giedre Sabaliauskaite
Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434. ACNS Workshops (2022)
Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price
Formalising UPTANE in CSP for Security Testing. QRS Companion (2021)
Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh
Using internal context to detect automotive controller area network attacks. Comput. Electr. Eng. 91 (2021)
Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin
Abstracting PROV provenance graphs: A validity-preserving approach. Future Gener. Comput. Syst. 111 (2020)
Daniel S. Fowler, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson, Siraj A. Shaikh
A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example. QRS Companion (2019)
Jake Hayward, Andrew Tomlinson, Jeremy W. Bryans
Adding Cyberattacks To An Industry-Leading CAN Simulator. QRS Companion (2019)
John Heneghan, Siraj Ahmed Shaikh, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson
Enabling Security Checking of Automotive ECUs with Formal CSP Models. DSN Workshops (2019)
Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou
A Template-Based Method for the Generation of Attack Trees. WISTP (2019)
Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh
Attack Defense Trees with Sequential Conjunction. HASE (2019)
Fiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta S. Steyn, Tom Komar
Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system. ISCRAM (2019)
Daniel S. Fowler, Jeremy W. Bryans, Siraj Ahmed Shaikh, Paul Wooderson
Fuzz Testing for Automotive Cyber-Security. DSN Workshops (2018)
Fiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta S. Steyn
Informing decision makers: facilitating communication and trust for decision makers during crises. ISCRAM (2018)
Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh
Using a one-class compound classifier to detect in-vehicle network attacks. GECCO (Companion) (2018)
Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh, Harsha Kumara Kalutarage
Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows. DSN Workshops (2018)
Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Paul Wooderson
Building an automotive security assurance case using systematic security evaluations. Comput. Secur. 77 (2018)
Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. WISTP (2017)
Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans
Towards a Testbed for Automotive Cybersecurity. ICST (2017)
Madeline Cheah, Jeremy W. Bryans, Daniel S. Fowler, Siraj Ahmed Shaikh
Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study. DSN Workshops (2017)
Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen
Combining Third Party Components Securely in Automotive Systems. WISTP (2016)
Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen
A Model-Based Approach for Requirements Engineering for Systems of Systems. IEEE Syst. J. 9 (1) (2015)
Roxana Dánger, Vasa Curcin, Paolo Missier, Jeremy W. Bryans
Access control and view generation for provenance graphs. Future Gener. Comput. Syst. 49 (2015)
Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes
ProvAbs: model, policy, and tooling for abstracting PROV graphs. CoRR (2014)
Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen
Fault Modelling in System-of-Systems Contracts. CoRR (2014)
Alexei Iliasov, Jeremy W. Bryans
A Proof-Based Method for Modelling Timed Systems. Ershov Memorial Conference (2014)
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
SysML contracts for systems of systems. SoSE (2014)
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods (2014)
Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. IPAW (2014)
John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim
Collaborative Systems of Systems Need Collaborative Design. PRO-VE (2014)
Jeremy W. Bryans, Richard John Payne, Jon Holt, Simon Perry
Semi-formal and formal interface specification for system of systems architecture. SysCon (2013)
Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle
Interface specification for system-of-systems architectures. SoSE (2012)
Jeremy W. Bryans, Maciej Koutny, Chunyan Mu
Towards Quantitative Analysis of Opacity. TGC (2012)
John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne
A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE (2012)
Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. PRO-VE (2011)
Jeremy W. Bryans
Developing a Consensus Algorithm Using Stepwise Refinement. ICFEM (2011)
Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS (2010)
Jeremy W. Bryans, Wei Wei
Formal Analysis of BPMN Models Using Event-B. FMICS (2010)
Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS (2009)
Panos Periorellis, N. Cook, Hugo Hiden, A. Conlin, M. D. Hamilton, Jiyi Wu, Jeremy W. Bryans, Xiangguo Gong, F. Zhu, R. Smith, Paul Watson, Allen R. Wright
GOLD infrastructure for virtual organizations. Concurr. Comput. Pract. Exp. 20 (11) (2008)
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
Opacity generalised to transition systems. Int. J. Inf. Sec. 7 (6) (2008)
Jeremy W. Bryans, John S. Fitzgerald
Formal Engineering of XACML Access Control Policies in VDM++. ICFEM (2007)
Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA (2006)
Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini
E-voting: Dependability Requirements and Design for Dependability. ARES (2006)
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
Modelling Opacity Using Petri Nets. Electron. Notes Theor. Comput. Sci. 121 (2005)
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust (2005)
Jeremy W. Bryans
Reasoning about XACML policies using CSP. SWS (2005)
Carron Shankland, Jeremy W. Bryans, Lionel Morel
Expressing Iterative Properties Logically in a Symbolic Setting. AMAST (2004)
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust (2004)
Jeremy W. Bryans, Howard Bowman, John Derrick
Model checking stochastic automata. ACM Trans. Comput. Log. 4 (4) (2003)
Jeremy W. Bryans, Carron Shankland
Implementing a Modal Logic over Data and Processes using XTL. FORTE (2001)
Howard Bowman, Jeremy W. Bryans, John Derrick
Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44 (4) (2001)
Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick
Specification and Analysis of Automata-Based Designs. IFM (2000)
Jeremy W. Bryans, Howard Bowman, John Derrick
Stochastic Model Checking for Multimedia CoRR (2000)
Jeremy W. Bryans, John Derrick
Stochastic Specification and Verification. IWFM (1999)
Jim Davies, Jeremy W. Bryans, Steve A. Schneider
Real-time LOTOS and Timed Observations. FORTE (1995)
Jeremy W. Bryans, Jim Davies, Steve A. Schneider
Towards a denotational semantics for ET-LOTOS. CONCUR (1995)