Projects per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
ResiCAV: ResiCAV -Resilient CAV
Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.
1/01/20 → 31/03/20
Project: Research
Research Output
Abstracting PROV provenance graphs: A validity-preserving approach
Missier, P., Bryans, J., Gamble, C. & Curcin, V., 15 May 2020, In : Future Generation Computer Systems. 111, p. 352-367 16 p.Research output: Contribution to journal › Article
A Template-based Method for the Generation of Attack Trees
Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 2 Mar 2020, Information Security Theory and Practice - 13th IFIP WG 11.2 International Conference, WISTP 2019, Proceedings. Laurent, M. & Giannetsos, T. (eds.). 1 ed. Springer, Cham , p. 155-165 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12024 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
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. 8859515Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Open Access
File
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. 8859491Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Open Access
File
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 proceeding › Conference proceeding
Prizes
ICST 2017 Best Industry Paper Award
Daniel S. Fowler (Recipient), Hun Cheah (Recipient), Jeremy Bryans (Recipient) & Siraj Shaikh (Recipient), 17 Mar 2017
Prize: Prize (including medals and awards)
File