Chris Hankin - RankMe

141 papers A* 5A 7B 10C 7Misc 1Journal 66Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Smart topology detection using multi-armed bandit reinforcement learning method. Inf. Secur. J. A Glob. Perspect. Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
2023	J	`jnl`	Cyber-physical attack graphs (CPAGs): Composable and scalable attack graphs for cyber-physical systems. Comput. Secur. Martín Barrère, Chris Hankin, Dean O'Reilly
2022	J	`jnl`	Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases. Comput. Secur. Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
2022	J	`jnl`	Decision support for healthcare cyber security. Comput. Secur. Ferda Özdemir Sönmez, Chris Hankin, Pasquale Malacaria
2022	—	`conf`	Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. SAT-CPS@CODASPY Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
2022	J	`jnl`	Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool. CoRR Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
2021	J	`jnl`	Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT. ACM Trans. Cyber Phys. Syst. Martín Barrère, Chris Hankin
2021	J	`jnl`	Certified Federated Adversarial Training. CoRR Giulio Zizzo, Ambrish Rawat, Mathieu Sinn, Sergio Maffeis, Chris Hankin
2020	B	`conf`	Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems. TrustCom Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2020	J	`jnl`	CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). CoRR Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou
2020	—	`conf`	Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. DSN (Supplements) Martín Barrère, Chris Hankin
2020	J	`jnl`	Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. CoRR Martín Barrère, Chris Hankin
2020	J	`jnl`	MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees. CoRR Martín Barrère, Chris Hankin
2020	J	`jnl`	Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies. J. Inf. Secur. Appl. Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2020	A	`conf`	Scalable Approach to Enhancing ICS Resilience by Network Diversity. DSN Tingting Li, Cheng Feng, Chris Hankin
2020	C	`conf`	Trustworthy Inter-connected Cyber-Physical Systems. CRITIS Chris Hankin, Martín Barrère
2019	A*	`conf`	Adversarial Machine Learning Beyond the Image Domain. DAC Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019	J	`jnl`	Assessing Cyber-Physical Security in Industrial Control Systems. CoRR Martín Barrère, Chris Hankin, Demetrios G. Eliades, Nicolas Nicolaou, Thomas Parisini
2019	J	`jnl`	Deep Latent Defence. CoRR Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019	J	`jnl`	Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems. CoRR Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2019	J	`jnl`	Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks. CoRR Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019	J	`jnl`	MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs. CoRR Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2019	J	`jnl`	Real-time processing of social media with SENTINEL: A syndromic surveillance system incorporating deep learning for health classification. Inf. Process. Manag. Ovidiu Serban, Nicholas A. Thapen, Brendan Maginnis, Chris Hankin, Virginia Foot
2019	J	`jnl`	Welcome to the Europe region special section. Commun. ACM Panagiota Fatourou, Chris Hankin
2018	B	`conf`	CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. RTCSA Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini
2018	J	`jnl`	Improving ICS Cyber Resilience through Optimal Diversification of Network Resources. CoRR Tingting Li, Cheng Feng, Chris Hankin
2018	J	`jnl`	Regulating automated decision making. Commun. ACM James R. Larus, Chris Hankin
2016	J	`jnl`	Decision support approaches for cyber security investment. Decis. Support Syst. Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
2016	—	`conf`	Defense-in-depth vs. Critical Component Defense for Industrial Control Systems. ICS-CSR Andrew Fielder, Tingting Li, Chris Hankin
2016	C	`conf`	Effective Defence Against Zero-Day Exploits Using Bayesian Networks. CRITIS Tingting Li, Chris Hankin
2016	—	`conf`	Efficient Numerical Frameworks for Multi-objective Cyber Security Planning. ESORICS (2) M. H. R. Khouzani, Pasquale Malacaria, Chris Hankin, Andrew Fielder, Fabrizio Smeraldi
2016	—	`conf`	Game Theory and Industrial Control Systems. Semantics, Logics, and Calculi Chris Hankin
2016	B	`conf`	Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. SAFECOMP Andrew Fielder, Tingting Li, Chris Hankin
2016	—	`ed.`	Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Semantics, Logics, and Calculi Christian W. Probst, Chris Hankin, René Rydhof Hansen
2016	J	`jnl`	The early bird catches the term: combining twitter and news data for event detection and situational awareness. J. Biomed. Semant. Nicholas A. Thapen, Donal Stephen Simmie, Chris Hankin
2015	—	`conf`	A Model-based Approach to Interdependency between Safety and Security in ICS. ICS-CSR Tingting Li, Chris Hankin
2015	J	`jnl`	Comparing Decision Support Approaches for Cyber Security Investment. CoRR Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
2015	J	`jnl`	DEFENDER: Detecting and Forecasting Epidemics using Novel Data-analytics for Enhanced Response. CoRR Donal Stephen Simmie, Nicholas A. Thapen, Chris Hankin
2015	J	`jnl`	Discovery of anomalous behaviour in temporal networks. Soc. Networks Maria Grazia Vigliotti, Chris Hankin
2015	J	`jnl`	The Early Bird Catches The Term: Combining Twitter and News Data For Event Detection and Situational Awareness. CoRR Nicholas A. Thapen, Donal Stephen Simmie, Chris Hankin
2014	—	`conf`	Cybersecurity Games and Investments: A Decision Support Approach. GameSec Emmanouil A. Panaousis, Andrew Fielder, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
2014	J	`jnl`	Fast multi-scale detection of overlapping communities using local criteria. Computing Erwan Le Martelot, Chris Hankin
2014	Misc	`conf`	Game Theory Meets Information Security Management. SEC Andrew Fielder, Emmanouil A. Panaousis, Pasquale Malacaria, Chris Hankin, Fabrizio Smeraldi
2014	J	`jnl`	Ranking twitter influence by combining network centrality and influence observables in an evolutionary model. J. Complex Networks Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
2013	—	`conf`	A short note on Simulation and Abstraction. Festschrift for Dave Schmidt Chris Hankin
2013	J	`jnl`	Fast Multi-Scale Community Detection based on Local Criteria within a Multi-Threaded Algorithm CoRR Erwan Le Martelot, Chris Hankin
2013	J	`jnl`	Fast Multi-Scale Detection of Relevant Communities in Large-Scale Networks. Comput. J. Erwan Le Martelot, Chris Hankin
2013	J	`jnl`	Multi-scale community detection using stability optimisation. Int. J. Web Based Communities Erwan Le Martelot, Chris Hankin
2013	—	`conf`	Payoffs, Intensionality and Abstraction in Games. Computation, Logic, Games, and Quantum Foundations Chris Hankin, Pasquale Malacaria
2013	J	`jnl`	Predictive access control for distributed computation. Sci. Comput. Program. Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2013	—	`conf`	Ranking Twitter Influence by Combining Network Centrality and Influence Observables in an Evolutionary Model. SITIS Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
2012	J	`jnl`	Fast Multi-Scale Detection of Relevant Communities CoRR Erwan Le Martelot, Chris Hankin
2012	J	`jnl`	Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms CoRR Erwan Le Martelot, Chris Hankin
2012	J	`jnl`	Secondary use of data in EHR systems CoRR Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2011	—	`conf`	Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm. KDIR Erwan Le Martelot, Chris Hankin
2011	J	`jnl`	Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	—	`conf`	Probabilistic Aspects: Checking Security in an Imperfect World. TGC Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	Probabilistic Semantics and Program Analysis. SFM Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	J	`jnl`	Program Analysis Probably Counts. Comput. J. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2009	A	`conf`	Advice from Belnap Policies. CSF Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2008	C	`conf`	Advice for Coordination. COORDINATION Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
2008	J	`jnl`	Quantifying Timing Leaks and Cost Optimisation CoRR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	C	`conf`	Quantifying Timing Leaks and Cost Optimisation. ICICS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	B	`conf`	A Systematic Approach to Probabilistic Pointer Analysis. APLAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	J	`jnl`	Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. David J. Pearce, Paul H. J. Kelly, Chris Hankin
2007	—	`conf`	On Probabilistic Techniques for Data Flow Analysis. QAPL Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	J	`jnl`	Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
2006	J	`jnl`	A framework for security analysis of mobile wireless networks. Theor. Comput. Sci. Sebastian Nanz, Chris Hankin
2006	—	`conf`	Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2006	J	`jnl`	Reversible combinatory logic. Math. Struct. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	J	`jnl`	Measuring the confinement of probabilistic systems. Theor. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On Reversible Combinatory Logic. DCM@ICALP Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	J	`jnl`	Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	J	`jnl`	Quantitative static analysis of distributed systems. J. Funct. Program. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	B	`ed.`	Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings SAS Chris Hankin, Igor Siveroni
2004	J	`jnl`	Approximate Non-interference. J. Comput. Secur. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Continuous-Time Probabilistic KLAIM. SecCo Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Efficient field-sensitive pointer analysis for C. PASTE David J. Pearce, Paul H. J. Kelly, Chris Hankin
2004	—	`conf`	Formal Security Analysis for Ad-Hoc Networks. VODCA@FOSAD Sebastian Nanz, Chris Hankin
2004	J	`jnl`	Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. David J. Pearce, Paul H. J. Kelly, Chris Hankin
2004	C	`conf`	Probabilistic KLAIM. COORDINATION Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Probabilistic Linda-Based Coordination Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	lambda-calculus and Quantitative Program Analysis: (Extended Abstract). QAPL Chris Hankin, Herbert Wiklicky
2003	C	`conf`	Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM David J. Pearce, Paul H. J. Kelly, Chris Hankin
2003	B	`conf`	Quantitative Relations and Approximate Process Equivalences. CONCUR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	B	`conf`	Analysing Approximate Confinement under Uniform Attacks. SAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Approximate Non-Interference. CSFW Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Flow Analysis: Games and Nets. The Essence of Computation Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
2002	J	`jnl`	Information flow for Algol-like languages. Comput. Lang. Syst. Struct. David Clark, Chris Hankin, Sebastian Hunt
2002	—	`conf`	Two Formal Approaches for Approximating Noninterference Properties. FOSAD Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2001	A*	`ed.`	Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001 POPL Chris Hankin, Dave Schmidt
2001	—	`conf`	Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2000	B	`conf`	Safety of Strictness Analysis via Term Graph Rewriting. SAS David Clark, Chris Hankin, Sebastian Hunt
1999	A*	`conf`	Non-Deterministic Games and Program Analysis: An Application to Security. LICS Pasquale Malacaria, Chris Hankin
1999	—	`book`	Principles of program analysis. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
1999	J	`jnl`	Program Analysis Games. ACM Comput. Surv. Chris Hankin, Pasquale Malacaria
1998	B	`conf`	A New Approach to Control Flow Analysis. CC Pasquale Malacaria, Chris Hankin
1998	J	`jnl`	Coordination Languages for Parallel Programming. Parallel Comput. Farhad Arbab, Paolo Ciancarini, Chris Hankin
1998	J	`jnl`	Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. Roberto Gorrieri, Chris Hankin
1998	A*	`conf`	Generalised Flowcharts and Games. ICALP Pasquale Malacaria, Chris Hankin
1998	J	`jnl`	Guest Editor's Foreword. Nord. J. Comput. Chris Hankin
1998	J	`jnl`	Program Analysis Tools. Int. J. Softw. Tools Technol. Transf. Chris Hankin
1998	A	`ed.`	Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings ESOP Chris Hankin
1998	J	`jnl`	Refining Multiset Tranformers. Theor. Comput. Sci. Chris Hankin, Daniel Le Métayer, David Sands
1997	J	`jnl`	Position Statements on Strategic Directions for Research on Programming Languages. ACM SIGPLAN Notices Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1996	J	`jnl`	Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. Chris Hankin, Hanne Riis Nielson
1996	C	`ed.`	Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings COORDINATION Paolo Ciancarini, Chris Hankin
1996	J	`jnl`	Strategic Directions in Research on Programming Languages. ACM Comput. Surv. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1995	J	`jnl`	Lazy Type Inference and Program Analysis. Sci. Comput. Program. Chris Hankin, Daniel Le Métayer
1995	—	`ed.`	Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994 Theory and Formal Methods Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1994	B	`conf`	A Type-based Framework for Program Analysis. SAS Chris Hankin, Daniel Le Métayer
1994	J	`jnl`	Approximate Fixed Points in Abstract Interpretation. Sci. Comput. Program. Chris Hankin, Sebastian Hunt
1994	A*	`conf`	Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. POPL Chris Hankin, Daniel Le Métayer
1994	A	`conf`	Lazy Type Inference for the Strictness Analysis of Lists. ESOP Chris Hankin, Daniel Le Métayer
1994	—	`conf`	Preface. Theory and Formal Methods Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1994	—	`conf`	Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods David Clark, Lindsay Errington, Chris Hankin
1993	—	`conf`	A Congruence for Gamma Programs. WSA Lindsay Errington, Chris Hankin, Thomas P. Jensen
1993	—	`conf`	A Lattice of Abstract Graphs. PLILP David Clark, Chris Hankin
1993	—	`conf`	A Parallel Programming Style and Its Algebra of Programs. PARLE Chris Hankin, Daniel Le Métayer, David Sands
1993	J	`jnl`	Editorial: Logic in Abstract Interpretation. J. Log. Comput. Chris Hankin
1993	—	`conf`	Graph Rewriting Systems and Abstract Interpretation. Theory and Formal Methods Chris Hankin
1993	—	`conf`	Reasoning About Gamma Programs. Theory and Formal Methods Lindsay Errington, Chris Hankin, Thomas P. Jensen
1992	—	`conf`	A Calculus of Gamma Programs. LCPC Chris Hankin, Daniel Le Métayer, David Sands
1992	A	`conf`	Approximate Fixed Points in Abstract Interpretation. ESOP Chris Hankin, Sebastian Hunt
1992	J	`jnl`	Editorial. J. Log. Comput. Chris Hankin
1992	—	`conf`	Transformation of Gamma Programs. WSA Chris Hankin, Daniel Le Métayer, David Sands
1991	J	`jnl`	Fixed Points and Frontiers: A New Perspective. J. Funct. Program. Sebastian Hunt, Chris Hankin
1991	—	`conf`	Static Analysis of Term Graph Rewriting Systems. PARLE (2) Chris Hankin
1990	A	`conf`	Abstract Interpretation of Term Graph Rewriting Systems. Functional Programming Chris Hankin
1990	J	`jnl`	Parallel object-oriented descriptions of graph reduction machines. Future Gener. Comput. Syst. David Bolton, Chris Hankin, Paul H. J. Kelly
1989	—	`conf`	Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) David Bolton, Chris Hankin, Paul H. J. Kelly
1988	J	`jnl`	A Safe Approach to Parallel Combinator Reduction. Theor. Comput. Sci. Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones
1987	—	`book`	Abstract Interpretation of Declarative Languages Samson Abramsky, Chris Hankin
1987	—	`conf`	COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. PARLE (1) Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute
1987	—	`conf`	Finding fixed points in finite lattices. FPCA Chris Martin, Chris Hankin
1986	A	`conf`	A Safe Approach to Parallel Combinator Reduction (Extended Abstract). ESOP Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones
1986	J	`jnl`	Strictness Analysis for Higher-Order Functions. Sci. Comput. Program. Geoffrey Livingston Burn, Chris Hankin, Samson Abramsky
1985	—	`conf`	COBWEB - A Combinator Reduction Architecture. FPCA Chris Hankin, Peter Osmon, Malcolm J. Shute
1985	—	`conf`	The theory of strictness analysis for higher order functions. Programs as Data Objects Geoffrey Livingston Burn, Chris Hankin, Samson Abramsky
1982	J	`jnl`	Structured Data Flow Programming. ACM SIGPLAN Notices M. D. de Jong, Chris Hankin