Jeremy W. Bryans

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