Projects per year
Jeremy Bryans is a Associate Professor in Automotive Cybersecurity in the Institute for Future Transport and Cities. He specialises in the use of formal methods. He recently finished a project developing a security mechanism to automatically analyse behaviour on internal vehicle networks. He is the Coventry PI on CEM-DIT - a project developing an automated system to support decision makers during emergency responses. Prior to his post in the Institute 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. He also 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 and was a speaker at the recent Automotive Cyber Security forum.
He is on the Industry Steering Group of the ZENZIC CAVWAY project between Applus+ IDIADA and Bruntingthorpe.
Areas of Expertise:
Formal verification in software and system design
Automotive Cybersecurity; Systems of Systems; Cyber-Physical Systems; Formal Verification
I am currently an Associate Professor in the Institute for Future Trasnport and Cities at Coventry University. In my research I seek to answer the questions: how can we build automotive secure systems, and how can we demonstrate that they are secure? Within the Institute I specialise in 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 UniversitySep 2015 → …
Bryans, J., Gamble, C. & Curcin, V., 1 Oct 2020, In : Future Generation Computer Systems. 111, p. 352-367 16 p.
Research output: Contribution to journal › Article
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
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 proceeding › Conference proceedingOpen AccessFile47 Downloads (Pure)
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 proceeding › Conference proceedingOpen AccessFile1 Citation (Scopus)226 Downloads (Pure)
An Evaluation Ontology Applied to Connected Vehicle Security Assurance: Enhancing enterprise capability and business intelligence through modelling of evaluation processes and outcomesPowley, S., Perry, S., Bryans, J. & Holt, J., 20 Nov 2019. 1 p.
Research output: Contribution to conference › Poster