Imperial College London

Professor Christopher Hankin Director, Institute for Security Science and Technology

Faculty of EngineeringInstitute for Security Science & Technology

Co-Director of Institute for Security Science & Technology
 
 
 
//

Contact

 

+44 (0)20 7594 7619c.hankin Website

 
 
//

Assistant

 

Ms Denise McGurk +44 (0)20 7594 8864

 
//

Location

 

Sherfield BuildingSouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

118 results found

Di Pierro A, Hankin C, Wiklicky H, 2005, Quantitative static analysis of distributed systems, Journal of Functional Programming, Vol: 15, Pages: 703-749, ISSN: 0956-7968

JOURNAL ARTICLE

Hankin CN, Wiklicky H, 2005, Lambda-calculus and quantitative program analysis, Electronic Notes in Theoretical Computer Science, Publisher: Elsevier, Pages: 5-18, ISSN: 1571-0661

CONFERENCE PAPER

Hankin C, Wiklicky H, 2005, [Lambda]-calculus and quantitative program analysis: (Extended abstract), Electronic Notes in Theoretical Computer Science, Vol: 112, Pages: 5-18, ISSN: 1571-0661

JOURNAL ARTICLE

Aldini A, Bravetti M, Di Pierro A, Gorrieri R, Hankin C, Wiklicky Het al., 2004, Two formal approaches for approximating noninterference properties, Berlin, International school on foundations of security analysis and design, Bertinoro, ITALY, 2002, Publisher: Springer-Verlag, Pages: 1-43

CONFERENCE PAPER

Di Pierro A, Hankin C, Wiklicky H, 2004, Probabilistic KLAIM, Berlin, 6th international conference on coordination models and languages (COORDINATION 2004), Pisa Univ, Comp Sci Dept, Pisa, ITALY, Publisher: Springer-Verlag, Pages: 119-134

CONFERENCE PAPER

Di Pierro A, Hankin C, Wiklicky H, 2004, Approximate non-interference, Journal of Computer Security, Vol: 12, Pages: 37-82, ISSN: 0926-227X

JOURNAL ARTICLE

Hankin C, Di Pierro A, Wiklicky H, Aldini A, Bravetti M, Gorrieri Ret al., 2004, Two formal approaches for approximating noninterference properties, Publisher: Springer Verlag, Pages: 1-43, ISBN: 3-5402-0955-7

BOOK CHAPTER

Nanz S, Hankin C, 2004, Static analysis of routing protocols for ad-hoc networks, Proceedings of ACM SIGPLAN and IFIP WG 1.7 workshop on issues in the theory of security, 2004

CONFERENCE PAPER

Pearce D, Hankin C, Kelly P, 2004, Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis, Publisher: Springer, Pages: 311-337, ISSN: 1573-1367

CONFERENCE PAPER

Pearce DJ, Kelly PHJ, Hankin C, 2004, Efficient field-sensitive pointer analysis for C, Pages: 37-42

The subject of this paper is flow- and context-insensitive pointer analysis. We present a novel approach for precisely modelling struct variables and indirect function calls. Our method emphasises efficiency and simplicity and extends the language of set-constraints. We experimentally evaluate the precision cost trade-off using a benchmark suite of 7 common C programs between 5,000 to 150,000 lines of code. Our results indicate the field-sensitive analysis is more expensive to compute, but yields significantly better precision.

CONFERENCE PAPER

Di Pierro A, Hankin C, Wiklicky H, 2003, Quantitative relations and approximate process equivalences, Berlin, 14th international conference on concurrency theory, Marseille, France, 2003, Publisher: Springer-Verlag, Pages: 508-522

CONFERENCE PAPER

Di Pierro A, Hankin C, Wiklicky H, 2003, Measuring the confinement of concurrent probabilistic systems, Proceedings of WITS'03: workshop on issues in the theory of security. 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Warsaw, Poland, 5 - 6 April 2003, Pages: 1-10

CONFERENCE PAPER

Pearce DJ, Kelly PHJ, Hankin C, 2003, Online cycle detection and difference propagation for pointer analysis, Los Alamitos, 3rd IEEE international workshop on source code analysis and manipulation, 2003, Publisher: IEEE Computer Soc, Pages: 3-12

CONFERENCE PAPER

Clark D, Hankin C, Hunt S, 2002, Information flow for Algol-like languages, COMPUTER LANGUAGES SYSTEMS & STRUCTURES, Vol: 28, Pages: 3-28, ISSN: 1477-8424

JOURNAL ARTICLE

Di Pierro A, Hankin C, Wiklicky H, 2002, On approximate non-interference, Proceedings of 2nd workshop on issues in the theory of security (WITS '02); 2002 ACM SIGPLAN and IFIP WG 1.7, Portland, Oregon, USA, 14 - 15 January 2002, Pages: 1-12

CONFERENCE PAPER

Di, Pierro A, Hankin C, Wiklicky Het al., 2002, Analysing approximate confinement under uniform attacks, Berlin, 9th international static analysis symposium, Madrid, Spain, 2002, Publisher: Springer-Verlag, Pages: 310-325

CONFERENCE PAPER

Di, Pierro A, Hankin C, Wiklicky Het al., 2002, Approximate non-interference, Los Alamitos, 15th IEEE computer security foundations workshop (CSFW-15), 2002, Publisher: IEEE Computer Soc, Pages: 3-17

CONFERENCE PAPER

Hankin C, Jensen T, 2002, Security and safety through static analysis, ERCIM News, Vol: 49, Pages: 22-23, ISSN: 0926-4981

JOURNAL ARTICLE

Hankin C, Nagarajan R, Sampath P, 2002, Flow analysis: games and nets, Berlin, Essence of computation: complexity analysis, transformation, Publisher: Springer-Verlag, Pages: 135-156, ISSN: 1571-0661

CONFERENCE PAPER

Di Pierro A, Hankin C, Wiklicky H, 2001, Probabilistic confinement in a declarative framework, Declarative programming - selected papers from AGP 2000, La Habana, Cuba, 4-6 December 2000, Pages: 1-23, ISSN: 1571-0661

CONFERENCE PAPER

Clark D, Hankin CL, Hunt S, 2000, Safety of Strictness Analysis via Term Graph Rewriting, Proceedings of SAS 2000, Publisher: Springer Verlag

CONFERENCE PAPER

Clark D, Hankin CL, Hunt S, Nagarajan Ret al., 2000, Possibilistic Information Flow is safe for Probabilistic Non-interference, Proceedings IFIP Workshop on Issues in the Theory of Security

CONFERENCE PAPER

Di Pierro A, Hankin CL, Wiklicky H, 2000, Probabilistic Confinement in a Declarative Framework, Proceedings of the GULP-PRODE Joint Conference on Declarative Programming, Pages: 1-23, ISSN: 1571-0661

CONFERENCE PAPER

Di Pierro A, Hankin CL, Wiklicky H, 2000, Probabilistic Security Analysis in a Declarative Framework, Proceedings IFIP Workshop on Issues in the Theory of Security

CONFERENCE PAPER

Hankin CL, 2000, Coordination Languages, Encyclopedia of Computer Science, Publisher: Nature Publishing Group, Pages: 462-465

BOOK CHAPTER

Hankin CL, 1999, Models of Computation, Encyclopedia of Computer Science and Technology, Editors: Kent, Williams, Dekker

BOOK CHAPTER

Hankin CL, Malacaria P, 1999, Program Analysis Games, Acm Computing Surveys, Vol: 31

JOURNAL ARTICLE

Malacaria P, Hankin CL, 1999, Non-deterministic Games and Program Analysis: An application to security, Proceedings of LICS'99, Publisher: IEEE Press

CONFERENCE PAPER

Nielson F, Nielson HR, Hankin C, 1999, Principles of Program Analysis, Heidelberg, Publisher: Springer Verlag

BOOK

Nielson F, Nielson HR, Hankin CL, 1999, Principles of Program Analysis, Publisher: Springer Verlag

CONFERENCE PAPER

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: id=00002556&limit=30&person=true&page=3&respub-action=search.html