Author Info
Name
Affiliation
Papers
JEREMY W. BRYANS
Univ Newcastle Tyne, Sch Comp Sci, Newcastle Upon Tyne, England
20
Collaborators
Citations 
PageRank 
28
175
13.88
Referers 
Referees 
References 
287
350
204
Search Limit
100350
Title
Citations
PageRank
Year
Abstracting PROV provenance graphs: A validity-preserving approach.00.342020
A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example10.362019
Enabling Security Checking of Automotive ECUs with Formal CSP Models00.342019
Adding Cyberattacks To An Industry-Leading CAN Simulator00.342019
Building an automotive security assurance case using systematic security evaluations.20.462018
Using a one-class compound classifier to detect in-vehicle network attacks.10.372018
Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows00.342018
Fuzz Testing for Automotive Cyber-Security20.382018
Towards a Testbed for Automotive Cybersecurity80.672017
Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study10.362017
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications.00.342017
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.40.442014
Towards Quantitative Analysis of Opacity.30.422012
Developing a consensus algorithm using stepwise refinement00.342011
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.60.732011
Formal analysis of BPMN models using event-B100.582010
Formal engineering of XACML access control policies in VDM++120.742007
Modelling Opacity Using Petri Nets261.582005
Opacity generalised to transition systems893.922005
Modelling Dynamic Opacity Using Petri Nets with Silent Actions100.842004