Personal profile



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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Opacity Engineering & Materials Science
Access control Engineering & Materials Science
Bluetooth Engineering & Materials Science
Specification languages Engineering & Materials Science
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Systems engineering Engineering & Materials Science
Petri nets Engineering & Materials Science

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

Research Output 2001 2017

Formalising Systematic Security Evaluations using Attack Trees for Automotive Applications

Cheah, M., Nguyen, H. N., Bryans, J. & Shaikh, S. 3 Aug 2017 The 11th WISTP International Conference on Information Security Theory and Practice (WISTP'2017) September 28-29, 2017, Crete, Greece. Vol. (in press), p. (in press)

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

The Internet of Automotive Things: Vulnerabilities, risks and policy implications

Bryans, J. 2017 In : Journal of Cyber Policy. 2, 2, p. 185-194 9 p.

Research output: Contribution to journalArticle

Great Britain
automotive industry

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study

Cheah, M., Bryans, J., Fowler, D. S. & Shaikh, S. A. 30 Aug 2017 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W). Institute of Electrical and Electronics Engineers Inc., p. 36-43 8 p. 8023695

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

Interfaces (computer)
Interfaces (computer)
1 Citations

Towards A Testbed for Automotive Cybersecurity

Fowler, D. S., Cheah, H., Shaikh, S. & Bryans, J. 18 May 2017 2 p.

Research output: Contribution to conferencePaper

Open Access


ICST 2017 Best Industy Paper Award

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

Prize: Prize (including medals and awards)