• 488 Citations
  • 12 h-Index
19952019
If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

 

Jeremy Bryans is a Research Fellow in Automotive Cybersecurity in the Centre for Mobility and Transport. He specialises in the use of formal methods. He is the Coventry PI on CEM-DIT - a project developing an automated system to support decision makers during emergency responses. He recently finished a project developing a security mechanism to automatically analyse behaviour on internal vehicle networks. Previously he worked at Newcastle Univeristy, where he was involved in large EU research projects on model-based techniques for developing and maintaining Systems of Systems (SoS) and Cyber-Physical Systems, and designed and led a project on the sustainability of smart grid communications infrastructure. Prior to that he designed and led a EPSRC/DSTL-funded project on the secure transmission of provenance metadata in dynamic coalitions. He is a member of the BCS (MBCS), INCOSE (The International Council on Systems Engineering) and a guest member of Newcastle University.

He has been on the program committee of several conferences, and reviews for multiple journals and organisations. He has over 50 publications.

Areas of Expertise:

Formal verification in software and system design

Automotive security

Research Interests

Automotive Cybersecurity; Systems of Systems; Cyber-Physical Systems; Formal Verification

Vision Statement

 

I am currently a Research Fellow in the Centre for Mobility and Transport at Coventry University. In my research I seek to answer the questions: how can we build secure systems, and how can we demonstrate that they are secure? Within the Centre I sepcialise in issues of automotive cyber-security. I have substantial experience in developing and applying formal verification methods and techniques to problems of security, dependability and resilience within large systems including socio-technical systems, systems of systems and cyber-physical systems.

 

External positions

Guest member, Newcastle University

Sep 2015 → …

Fingerprint Dive into the research topics where Jeremy Bryans is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 13 Similar Profiles
Bluetooth Engineering & Materials Science
Controllers Engineering & Materials Science
Access control Engineering & Materials Science
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Specification languages Engineering & Materials Science
Testing Engineering & Materials Science
Industry Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1995 2019

  • 488 Citations
  • 12 h-Index
  • 30 Conference proceeding
  • 13 Article
  • 3 Chapter
  • 3 Paper
1 Downloads (Pure)

Adding Cyberattacks To An Industry-Leading CAN Simulator

Hayward, J., Tomlinson, A. J. & Bryans, J., 7 Oct 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. IEEE Computer Society, p. 9-16 8 p. 8859515

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Simulators
Controllers
Railroad cars
Industry
Railroad tracks
18 Downloads (Pure)

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example

Fowler, D. S., Bryans, J., Cheah, M., Wooderson, P. & Shaikh, S., 7 Oct 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. IEEE Computer Society, 8 p. 8859491

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Black-box testing
Controllers
Testing
Railroad cars
Systems analysis

An Evaluation Ontology Applied to Connected Vehicle Security Assurance

Powley, S., Perry, S., Holt, J. & Bryans, J., 27 Sep 2019, INCOSE International Symposium: The Proceedings of the Annual INCOSE International Symposium. 1 ed. USA: Wiley, Vol. 29. p. 37-52 16 p. (INCOSE Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Ontology
Industry
Competitive intelligence
Systems engineering
Large scale systems
31 Downloads (Pure)

Attack Defense Trees with Sequential Conjunction

Nguyen, H. N., Bryans, J. & Shaikh, S., 25 Mar 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Nguyen, V. & Yu, D. (eds.). IEEE, Vol. 2019-January. p. 247-252 6 p. (Proceedings / IEEE International Symposium on High-Assurance Systems Engineering. IEEE International Symposium on High-Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Demonstrations
Semantics
Air
Chemical analysis

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system

McNeill, F., Bental, D., Missier, P., Steyn, J., Kumar, T. & Bryans, J., 25 Mar 2019, (Accepted/In press) Proceedings of International Conference on Informations Systems for Crises Response and Management.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Data integration
Communication
Observatories

Prizes

ICST 2017 Best Industry Paper Award

Dan Fowler (Recipient), Hun Cheah (Recipient), Jeremy Bryans (Recipient) & Siraj Shaikh (Recipient), 17 Mar 2017

Prize: Prize (including medals and awards)

File
Software testing
Testbeds
Industry