| 2020 | CRITIS | Trustworthy Inter-connected Cyber-Physical Systems. | Chris Hankin, Martn Barrre |
| 2020 | DSN | Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. | Martn Barrre, Chris Hankin |
| 2020 | DSN | Scalable Approach to Enhancing ICS Resilience by Network Diversity. | Tingting Li, Cheng Feng, Chris Hankin |
| 2020 | TrustCom | Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems. | Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones |
| 2019 | DAC | Adversarial Machine Learning Beyond the Image Domain. | Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones |
| 2018 | RTCSA | CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. | Martn Barrre, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini |
| 2016 | CRITIS | Effective Defence Against Zero-Day Exploits Using Bayesian Networks. | Tingting Li, Chris Hankin |
| 2016 | ESORICS | Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. | M. H. R. Khouzani, Pasquale Malacaria, Chris Hankin, Andrew Fielder, Fabrizio Smeraldi |
| 2016 | SAFECOMP | Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. | Andrew Fielder, Tingting Li, Chris Hankin |
| 2014 | SEC | Game Theory Meets Information Security Management. | Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi |
| 2011 | IC3K | Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm. | Erwan Le Martelot, Chris Hankin |
| 2008 | Coordination | Advice for Coordination. | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
| 2008 | ICICS | Quantifying Timing Leaks and Cost Optimisation. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2007 | APLAS | A Systematic Approach to Probabilistic Pointer Analysis. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2004 | Coordination | Probabilistic KLAIM. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2003 | CONCUR | Quantitative Relations and Approximate Process Equivalences. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2003 | SCAM | Online Cycle Detection and Difference Propagation for Pointer Analysis. | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
| 2002 | SAS | Analysing Approximate Confinement under Uniform Attacks. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2000 | SAS | Safety of Strictness Analysis via Term Graph Rewriting. | David Clark, Chris Hankin, Sebastian Hunt |
| 1999 | LICS | Non-Deterministic Games and Program Analysis: An Application to Security. | Pasquale Malacaria, Chris Hankin |
| 1998 | CC | A New Approach to Control Flow Analysis. | Pasquale Malacaria, Chris Hankin |
| 1998 | ICALP | Generalised Flowcharts and Games. | Pasquale Malacaria, Chris Hankin |
| 1994 | ESOP | Lazy Type Inference for the Strictness Analysis of Lists. | Chris Hankin, Daniel Le Mtayer |
| 1994 | POPL | Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1994 | SAS | A Type-based Framework for Program Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1993 | SAS | A Congruence for Gamma Programs. | Lindsay Errington, Chris Hankin, Thomas P. Jensen |
| 1992 | ESOP | Approximate Fixed Points in Abstract Interpretation. | Chris Hankin, Sebastian Hunt |
| 1992 | SAS | Transformation of Gamma Programs. | Chris Hankin, Daniel Le Mtayer, David Sands |
| 1986 | ESOP | A Safe Approach to Parallel Combinator Reduction (Extended Abstract). | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |