| 2022 | ACNS | Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434. | Ahmed Nawaz Khan, Jeremy W. Bryans, Giedre Sabaliauskaite |
| 2021 | QRS | Formalising UPTANE in CSP for Security Testing. | Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price |
| 2019 | DSN | Enabling Security Checking of Automotive ECUs with Formal CSP Models. | John Heneghan, Siraj Ahmed Shaikh, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson |
| 2019 | QRS | A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example. | Daniel S. Fowler, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson, Siraj A. Shaikh |
| 2019 | QRS | Adding Cyberattacks To An Industry-Leading CAN Simulator. | Jake Hayward, Andrew Tomlinson, Jeremy W. Bryans |
| 2019 | WISTP | A Template-Based Method for the Generation of Attack Trees. | Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou |
| 2018 | DSN | Fuzz Testing for Automotive Cyber-Security. | Daniel S. Fowler, Jeremy W. Bryans, Siraj Ahmed Shaikh, Paul Wooderson |
| 2018 | DSN | Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows. | Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh, Harsha Kumara Kalutarage |
| 2018 | GECCO | Using a one-class compound classifier to detect in-vehicle network attacks. | Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh |
| 2017 | DSN | Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study. | Madeline Cheah, Jeremy W. Bryans, Daniel S. Fowler, Siraj Ahmed Shaikh |
| 2017 | ICST | Towards a Testbed for Automotive Cybersecurity. | Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans |
| 2017 | WISTP | Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. | Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh |
| 2016 | WISTP | Combining Third Party Components Securely in Automotive Systems. | Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen |
| 2011 | ICFEM | Developing a Consensus Algorithm Using Stepwise Refinement. | Jeremy W. Bryans |
| 2010 | FMICS | Formal Analysis of BPMN Models Using Event-B. | Jeremy W. Bryans, Wei Wei |
| 2010 | ICECCS | Patterns for Modelling Time and Consistency in Business Information Systems. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2009 | ICECCS | Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2007 | ICFEM | Formal Engineering of XACML Access Control Policies in VDM++. | Jeremy W. Bryans, John S. Fitzgerald |
| 2006 | ISoLA | Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. | Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
| 2001 | FORTE | Implementing a Modal Logic over Data and Processes using XTL. | Jeremy W. Bryans, Carron Shankland |
| 2000 | IFM | Specification and Analysis of Automata-Based Designs. | Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
| 1995 | CONCUR | Towards a denotational semantics for ET-LOTOS. | Jeremy W. Bryans, Jim Davies, Steve A. Schneider |
| 1995 | FORTE | Real-time LOTOS and Timed Observations. | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |