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.


External positions

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.

  • 8 Similar Profiles
System of systems Engineering & Materials Science
Industry Engineering & Materials Science
Opacity Engineering & Materials Science
Access control Engineering & Materials Science
Specifications Engineering & Materials Science
Specification languages Engineering & Materials Science
Semantics Engineering & Materials Science
system Social Sciences

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

Research Output 2001 2017

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

Cheah, H., Bryans, J., Fowler, D. S. & Shaikh, S. 15 Apr 2017 8 p.

Research output: Contribution to conferencePaper


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


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 Verlag, Vol. 9895 LNCS, p. 262-269

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

3 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