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. Previously he worked at Newcastle Univeristy, where he was involved in large EU research projects on model-based techniques. One looked at developing and maintaining Systems of Systems (SoS) and one was designed to support small and medium-sized businesses that engineer or operate dependable cyber-physical systems. He specialises in formal methods, and designed and led an internally funded 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 has over 50 publications.


Area of Expertise:


Formal verification in software and system design

Research Interests

Automotive Cybersecurity; Systems of 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.


Guest member, Newcastle University

Sep 2015 → …

Fingerprint Fingerprint is based on mining the text of the persons scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
System of systems Engineering & Materials Science
Access control Engineering & Materials Science
Systems engineering Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Methodology Mathematics
Open systems Engineering & Materials Science
Bluetooth Mathematics
Set theory Engineering & Materials Science

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

Research Output 2014 2017

  • 282 Citations
  • 9 h-Index
  • 3 Chapter
  • 2 Paper
  • 2 Article
  • 1 Conference contribution

Towards A Testbed for Automotive Cybersecurity

Fowler, D. S., Cheah, H., Shaikh, S. & Bryans, J. 14 Mar 2017 2 p.

Research output: Contribution to conferencePaper

Applying Model-based SE Techniques for Dependable Land Systems

Payne, R., Fitzgerald, J., Bryans, J. & Winthorpe, E. 13 Sep 2016 p. 1783–1798

Research output: Contribution to conferencePaper

System of systems
Open systems
Requirements engineering
Engineering technology
Systems engineering
1 Citations

Combining Third Party Components Securely in Automotive Systems

Cheah, H., Shaikh, S., Bryans, J. & Nguyen, H. N. Sep 2016 Information Security Theory and Practice. Foresti, S. & Lopez, J. (eds.). Springer International Publishing, Vol. 9895 LNCS, p. 262-269

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

Black box
Design process
2 Citations

Access control and view generation for provenance graphs

Danger, R., Curcin, V., Missier, P. & Bryans, J. Aug 2015 In : Future Generation Computer Systems. 49, p. 8-27

Research output: Contribution to journalArticle

Access control
Set theory
1 Citations

A Model-Based Approach for Requirements Engineering for Systems of Systems

Holt, J., Perry, S., Payne, R., Bryans, J., Hallerstede, S. & Hansen, F. O. Mar 2015 In : IEEE Systems Journal. 9, 1, p. 252-262 11 p.

Research output: Contribution to journalArticle

Systems engineering
Requirements engineering
System of systems
Industrial applications