Concepedia

Chris Hankin

CH

53

Publications

2.2K

Citations

26

H-Index

1981

Active since

Affiliations

Imperial College London(Current)

University of Pisa

Queen Mary University of London

University College London

Chris Hankin is an author at Imperial College London specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationData ScienceInformation SecurityAutomated ReasoningData Security

Publications per year

1981–2022

53

Publications

53

Decision support approaches for cyber security investment

Andrew Fielder, Emmanouil Panaousis, Pasquale Malacaria et al. · Decision Support Systems · 2016 · 235 citations · Full text

Strictness analysis for higher-order functions

Geoffrey Burn, Chris Hankin, Samson Abramsky · Science of Computer Programming · 1986 · 170 citations

Engineering, Generalized Function, Formal Methods +4

Cybersecurity and healthcare: how safe are we?

Guy Martin, Paul Martin, Chris Hankin et al. · BMJ · 2017 · 146 citations · Full text

Cybersecurity, Engineering, Fragmented Governance +20

A framework for security analysis of mobile wireless networks

Sebastian Nanz, Chris Hankin · Theoretical Computer Science · 2006 · 137 citations · Full text

Mobile Security, Engineering, Mobile Wireless Networks +6

Approximate non-interference

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky · 2003 · 116 citations

Engineering, Information Security, Information Leakage +16

Rows per page

1–5 of 53