Jeremy W. Bryans

Orcid: 0000-0001-9850-8467

According to our database1, Jeremy W. Bryans authored at least 60 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
State-of-the-art authentication and verification schemes in VANETs: A survey.
Veh. Commun., 2024

TOMSAC - Methodology for trade-off management between automotive safety and cyber security.
Comput. Secur., 2024

2023
A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons.
Trans. Emerg. Telecommun. Technol., November, 2023

A formal framework for security testing of automotive over-the-air update systems.
J. Log. Algebraic Methods Program., 2023

Integrated Attack Tree in Residual Risk Management Framework.
Inf., 2023

Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis.
Inf., 2023

2022
Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434.
Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2021
Using internal context to detect automotive controller area network attacks.
Comput. Electr. Eng., 2021

Formalising UPTANE in CSP for Security Testing.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020
Abstracting PROV provenance graphs: A validity-preserving approach.
Future Gener. Comput. Syst., 2020

2019
A Template-Based Method for the Generation of Attack Trees.
Proceedings of the Information Security Theory and Practice, 2019

Adding Cyberattacks To An Industry-Leading CAN Simulator.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system.
Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

Attack Defense Trees with Sequential Conjunction.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Enabling Security Checking of Automotive ECUs with Formal CSP Models.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

2018
Building an automotive security assurance case using systematic security evaluations.
Comput. Secur., 2018

Informing decision makers: facilitating communication and trust for decision makers during crises.
Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018

Using a one-class compound classifier to detect in-vehicle network attacks.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Fuzz Testing for Automotive Cyber-Security.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications.
Proceedings of the Information Security Theory and Practice, 2017

Towards a Testbed for Automotive Cybersecurity.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016
Combining Third Party Components Securely in Automotive Systems.
Proceedings of the Information Security Theory and Practice, 2016

2015
A Model-Based Approach for Requirements Engineering for Systems of Systems.
IEEE Syst. J., 2015

Access control and view generation for provenance graphs.
Future Gener. Comput. Syst., 2015

2014
Fault Modelling in System-of-Systems Contracts.
CoRR, 2014

SysML contracts for systems of systems.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs.
Proceedings of the Provenance and Annotation of Data and Processes, 2014

Collaborative Systems of Systems Need Collaborative Design.
Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

A Proof-Based Method for Modelling Timed Systems.
Proceedings of the Perspectives of System Informatics, 2014

2013
Semi-formal and formal interface specification for system of systems architecture.
Proceedings of the IEEE International Systems Conference, 2013

2012
Towards Quantitative Analysis of Opacity.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Interface specification for system-of-systems architectures.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.
Proceedings of the Collaborative Networks in the Internet of Services, 2012

2011
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.
Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

Developing a Consensus Algorithm Using Stepwise Refinement.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Patterns for Modelling Time and Consistency in Business Information Systems.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Formal Analysis of BPMN Models Using Event-B.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Opacity generalised to transition systems.
Int. J. Inf. Sec., 2008

GOLD infrastructure for virtual organizations.
Concurr. Comput. Pract. Exp., 2008

2007
Formal Engineering of XACML Access Control Policies in VDM++.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.
Proceedings of the Leveraging Applications of Formal Methods, 2006

E-voting: Dependability Requirements and Design for Dependability.
Proceedings of the The First International Conference on Availability, 2006

2005
Reasoning about XACML policies using CSP.
Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

2004
Modelling Opacity Using Petri Nets.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Modelling Dynamic Opacity Using Petri Nets with Silent Actions.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Expressing Iterative Properties Logically in a Symbolic Setting.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Model checking stochastic automata.
ACM Trans. Comput. Log., 2003

2001
Analysis of a Multimedia Stream using Stochastic Process Algebra.
Comput. J., 2001

Implementing a Modal Logic over Data and Processes using XTL.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
Stochastic Model Checking for Multimedia
CoRR, 2000

Specification and Analysis of Automata-Based Designs.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999
Stochastic Specification and Verification.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1996
Denotational semantic models for real-time LOTOS.
PhD thesis, 1996

1995
Real-time LOTOS and Timed Observations.
Proceedings of the Formal Description Techniques VIII, 1995

Towards a denotational semantics for ET-LOTOS.
Proceedings of the CONCUR '95: Concurrency Theory, 1995


  Loading...