64 citations · 592 across the 44 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019
Formal Methods and CyberSecurity
James H. Davenport
Formal methods have been largely thought of in the context of safety-critical systems, where they have achieved major acceptance. Tens of millions of people trust their lives every…
cs.CR2019
A UK Case Study on Cybersecurity Education and Accreditation
Tom Crick, James H. Davenport, Alastair Irons +1
This paper presents a national case study-based analysis of the numerous dimensions to cybersecurity education and how they are prioritised, implemented and accredited; from unders…