Projects per year
Personal profile
Biography
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 security
Research Interests
Automotive Cybersecurity; Systems of Systems; Cyber-Physical Systems; Formal Verification
Vision Statement
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.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
External positions
Guest member, Newcastle University
Sept 2015 → …
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 4 Finished
-
Ensuring cybersecure deployments of driverless teleoperated vehicles
Sabaliauskaite, G., Shaikh, S. & Bryans, J.
1/10/21 → 31/03/22
Project: Research
-
Safely Advancing Vehicle Automation On Roads (SAVOR)
Shaikh, S., Birrell, S., Sabaliauskaite, G., Bryans, J., Vincent, K., Bogg, A. & Iyieke, V.
1/10/21 → 31/03/22
Project: Research
-
ResiCAV: ResiCAV -Resilient CAV
Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.
1/01/20 → 31/03/20
Project: Research
-
-
A comparative analysis of multi‐criteria decision methods for secure beacon selection in vehicular platoons
Taylor, S. J., Ahmad, F., Nguyen, H. N., Shaikh, S. A., Bryans, J. & Wartnaby, C. E., 8 Aug 2023, (E-pub ahead of print) In: Transactions on Emerging Telecommunications Technologies. (In-Press), p. (In-Press) 20 p., e4841.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
Formal template-based generation of attack-defence trees for automated security analysis
Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G. & Shaikh, S., 1 Jul 2023, (Submitted) In: MDPI Special Issue. p. 1 27 p.Research output: Contribution to journal › Article › peer-review
-
A Formal Framework for Security Testing of Automotive Over-The-Air Update Systems
Kirk, R., Nguyen, H. N., Bryans, J., Shaikh, S. & Wartnaby, C., 2022, (In preparation) In: Journal of Logical and Algebraic Methods in Programming. 28 p.Research output: Contribution to journal › Article › peer-review
-
Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434
Khan, A., Bryans, J. & Sabaliauskaite, G., 24 Sept 2022, Applied Cryptography and Network Security Workshops - ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S and P, SCI, SecMT, SiMLA, Proceedings. Zhou, J., Adepu, S., Alcaraz, C., Batina, L., Casalicchio, E., Chattopadhyay, S., Jin, C., Lin, J., Losiouk, E., Majumdar, S., Meng, W., Picek, S., Shao, J., Su, C., Wang, C., Zhauniarovich, Y. & Zonouz, S. (eds.). Springer, Cham , p. 235-247 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13285 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile1 Downloads (Pure) -
Impact of the Number of Planetary Gears on the Energy Efficiency of Electrified Powertrains
Rajput, D., Herreros, J. M., Innocente, M., Bryans, J., Schaub, J. & Dizqah, A. M., 1 Oct 2022, In: Applied Energy. 323, 12 p., 119531.Research output: Contribution to journal › Article › peer-review
Open AccessFile25 Downloads (Pure)
Prizes
-
ICST 2017 Best Industry Paper Award
Fowler, Daniel S. (Recipient), Cheah, Hun (Recipient), Bryans, Jeremy (Recipient) & Shaikh, Siraj (Recipient), 17 Mar 2017
Prize: Prize (including medals and awards)
File