Chris Hankin

ORCID

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 33

Top Venues

Publications

Martín Barrère, Chris Hankin, Dean O'Reilly
Cyber-physical attack graphs (CPAGs): Composable and scalable attack graphs for cyber-physical systems. Comput. Secur. 132 (2023)
Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
Decision support for healthcare cyber security. Comput. Secur. 122 (2022)
Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases. Comput. Secur. 123 (2022)
Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool. CoRR (2022)
Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. SAT-CPS@CODASPY (2022)
Giulio Zizzo, Ambrish Rawat, Mathieu Sinn, Sergio Maffeis, Chris Hankin
Certified Federated Adversarial Training. CoRR (2021)
Martín Barrère, Chris Hankin
Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). CoRR (2020)
Martín Barrère, Chris Hankin
MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees. CoRR (2020)
Martín Barrère, Chris Hankin
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. DSN (Supplements) (2020)
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies. J. Inf. Secur. Appl. 52 (2020)
Tingting Li, Cheng Feng, Chris Hankin
Scalable Approach to Enhancing ICS Resilience by Network Diversity. DSN (2020)
Chris Hankin, Martín Barrère
Trustworthy Inter-connected Cyber-Physical Systems. CRITIS (2020)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems. TrustCom (2020)
Martín Barrère, Chris Hankin
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. CoRR (2020)
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs. CoRR (2019)
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems. CoRR (2019)
Ovidiu Serban, Nicholas A. Thapen, Brendan Maginnis, Chris Hankin, Virginia Foot
Real-time processing of social media with SENTINEL: A syndromic surveillance system incorporating deep learning for health classification. Inf. Process. Manag. 56 (3) (2019)
Martín Barrère, Chris Hankin, Demetrios G. Eliades, Nicolas Nicolaou, Thomas Parisini
Assessing Cyber-Physical Security in Industrial Control Systems. CoRR (2019)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Adversarial Machine Learning Beyond the Image Domain. DAC (2019)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks. CoRR (2019)
Panagiota Fatourou, Chris Hankin
Welcome to the Europe region special section. Commun. ACM 62 (4) (2019)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Deep Latent Defence. CoRR (2019)
James R. Larus, Chris Hankin
Regulating automated decision making. Commun. ACM 61 (8) (2018)
Tingting Li, Cheng Feng, Chris Hankin
Improving ICS Cyber Resilience through Optimal Diversification of Network Resources. CoRR (2018)
Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. RTCSA (2018)
Nicholas A. Thapen, Donal Stephen Simmie, Chris Hankin
The early bird catches the term: combining twitter and news data for event detection and situational awareness. J. Biomed. Semant. 7 (2016)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Decision support approaches for cyber security investment. Decis. Support Syst. 86 (2016)
Andrew Fielder, Tingting Li, Chris Hankin
Defense-in-depth vs. Critical Component Defense for Industrial Control Systems. ICS-CSR (2016)
Tingting Li, Chris Hankin
Effective Defence Against Zero-Day Exploits Using Bayesian Networks. CRITIS (2016)
Chris Hankin
Game Theory and Industrial Control Systems. Semantics, Logics, and Calculi (2016)
M. H. R. Khouzani, Pasquale Malacaria, Chris Hankin, Andrew Fielder, Fabrizio Smeraldi
Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. ESORICS (2) (2016)
Andrew Fielder, Tingting Li, Chris Hankin
Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. SAFECOMP (2016)
Maria Grazia Vigliotti, Chris Hankin
Discovery of anomalous behaviour in temporal networks. Soc. Networks 41 (2015)
Donal Stephen Simmie, Nicholas A. Thapen, Chris Hankin
DEFENDER: Detecting and Forecasting Epidemics using Novel Data-analytics for Enhanced Response. CoRR (2015)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Comparing Decision Support Approaches for Cyber Security Investment. CoRR (2015)
Tingting Li, Chris Hankin
A Model-based Approach to Interdependency between Safety and Security in ICS. ICS-CSR (2015)
Nicholas A. Thapen, Donal Stephen Simmie, Chris Hankin
The Early Bird Catches The Term: Combining Twitter and News Data For Event Detection and Situational Awareness. CoRR (2015)
Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
Ranking twitter influence by combining network centrality and influence observables in an evolutionary model. J. Complex Networks 2 (4) (2014)
Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Game Theory Meets Information Security Management. SEC (2014)
Emmanouil A. Panaousis, Andrew Fielder, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
Cybersecurity Games and Investments: A Decision Support Approach. GameSec (2014)
Erwan Le Martelot, Chris Hankin
Fast multi-scale detection of overlapping communities using local criteria. Computing 96 (11) (2014)
Erwan Le Martelot, Chris Hankin
Fast Multi-Scale Detection of Relevant Communities in Large-Scale Networks. Comput. J. 56 (9) (2013)
Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
Ranking Twitter Influence by Combining Network Centrality and Influence Observables in an Evolutionary Model. SITIS (2013)
Chris Hankin
A short note on Simulation and Abstraction. Festschrift for Dave Schmidt (2013)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Predictive access control for distributed computation. Sci. Comput. Program. 78 (9) (2013)
Erwan Le Martelot, Chris Hankin
Fast Multi-Scale Community Detection based on Local Criteria within a Multi-Threaded Algorithm CoRR (2013)
Erwan Le Martelot, Chris Hankin
Multi-scale community detection using stability optimisation. Int. J. Web Based Communities 9 (3) (2013)
Chris Hankin, Pasquale Malacaria
Payoffs, Intensionality and Abstraction in Games. Computation, Logic, Games, and Quantum Foundations (2013)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Secondary use of data in EHR systems CoRR (2012)
Erwan Le Martelot, Chris Hankin
Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms CoRR (2012)
Erwan Le Martelot, Chris Hankin
Fast Multi-Scale Detection of Relevant Communities CoRR (2012)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10 (2) (2011)
Erwan Le Martelot, Chris Hankin
Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm. KDIR (2011)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Semantics and Program Analysis. SFM (2010)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Program Analysis Probably Counts. Comput. J. 53 (6) (2010)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Probabilistic Aspects: Checking Security in an Imperfect World. TGC (2010)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Advice from Belnap Policies. CSF (2009)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
Advice for Coordination. COORDINATION (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation CoRR (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation. ICICS (2008)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
A Systematic Approach to Probabilistic Pointer Analysis. APLAS (2007)
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. 72 (2) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Probabilistic Techniques for Data Flow Analysis. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Reversible Combinatory Logic. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Sebastian Nanz, Chris Hankin
Formal Security Analysis for Ad-Hoc Networks. Electron. Notes Theor. Comput. Sci. 142 (2006)
Sebastian Nanz, Chris Hankin
A framework for security analysis of mobile wireless networks. Theor. Comput. Sci. 367 (1-2) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reversible combinatory logic. Math. Struct. Comput. Sci. 16 (4) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Continuous-Time Probabilistic KLAIM. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340 (1) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15 (2) (2005)
Chris Hankin, Herbert Wiklicky
lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 112 (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative static analysis of distributed systems. J. Funct. Program. 15 (5) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM. COORDINATION (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-Based Coordination Languages. FMCO (2004)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. 12 (4) (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-interference. J. Comput. Secur. 12 (1) (2004)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Efficient field-sensitive pointer analysis for C. PASTE (2004)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM (2003)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences. CONCUR (2003)
David Clark, Chris Hankin, Sebastian Hunt
Information flow for Algol-like languages. Comput. Lang. Syst. Struct. 28 (1) (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-Interference. CSFW (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Analysing Approximate Confinement under Uniform Attacks. SAS (2002)
Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
Flow Analysis: Games and Nets. The Essence of Computation (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE 48 (2001)
David Clark, Chris Hankin, Sebastian Hunt
Safety of Strictness Analysis via Term Graph Rewriting. SAS (2000)
Pasquale Malacaria, Chris Hankin
Non-Deterministic Games and Program Analysis: An Application to Security. LICS (1999)
Chris Hankin, Pasquale Malacaria
Program Analysis Games. ACM Comput. Surv. 31 (3es) (1999)
Pasquale Malacaria, Chris Hankin
A New Approach to Control Flow Analysis. CC (1998)
Pasquale Malacaria, Chris Hankin
Generalised Flowcharts and Games. ICALP (1998)
Chris Hankin
Program Analysis Tools. Int. J. Softw. Tools Technol. Transf. 2 (1) (1998)
Roberto Gorrieri, Chris Hankin
Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192 (2) (1998)
Chris Hankin, Daniel Le Métayer, David Sands
Refining Multiset Tranformers. Theor. Comput. Sci. 192 (2) (1998)
Chris Hankin
Guest Editor's Foreword. Nord. J. Comput. 5 (4) (1998)
Farhad Arbab, Paolo Ciancarini, Chris Hankin
Coordination Languages for Parallel Programming. Parallel Comput. 24 (7) (1998)
Chris Hankin, Hanne Riis Nielson, Jens Palsberg
Position Statements on Strategic Directions for Research on Programming Languages. ACM SIGPLAN Notices 32 (1) (1997)

Chris Hankin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chris Hankin