MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Chris Hankin – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

38 documents found, showing 1 through 10. Next 10 →

ATOM

Non-deterministic Games and Program Analysis: An application to security (Extended Abstract)
by P. Malacaria, Chris Hankin — Proceedings of the Fourteenth International Symposium on Logic in Computer Science, Computer Society Press of the IEEE
…) Pasquale Malacaria and Chris Hankin Dept. of Computing Imperial College LONDON SW7 2BZ pm5,clh…
Cited by 16 (4 self) – Add To MetaCart

A New Approach to Control Flow Analysis
by Pasquale Malacaria, Chris Hankin — 1998 — Lecture
…A New Approach to Control Flow Analysis Pasquale Malacaria and Chris Hankin Dept. of Computing…
Cited by 10 (3 self) – Add To MetaCart

A framework for security analysis of mobile wireless networks
by Sebastian Nanz, Chris Hankin — 2006 — Theoretical Computer Science
…A Framework for Security Analysis of Mobile Wireless Networks Sebastian Nanz Chris Hankin…
Cited by 8 (0 self) – Add To MetaCart

Static Analysis of Routing Protocols for Ad-Hoc Networks
by Sebastian Nanz, Chris Hankin — 2004 — In Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS’04
…Static Analysis of Routing Protocols for Ad-Hoc Networks Sebastian Nanz ⋆ Chris Hankin Department…
Cited by 2 (2 self) – Add To MetaCart

A Proposal for the JCVMLe Operational Semantics
by Igor Siveroni, Chris Hankin — 2001
…A Proposal for the JCVMLe Operational Semantics Authors: Igor Siveroni and Chris Hankin Date…
Cited by 5 (2 self) – Add To MetaCart

Generalised flowcharts and games: Extended abstract
by Pasquale Malacaria, Chris Hankin — 1998 — 25th International Colloquium, ICALP'98
… Generalised Flowcharts and Games (Extended Abstract) Pasquale Malacaria and Chris Hankin Dept…
Cited by 3 (2 self) – Add To MetaCart

Possibilistic Information Flow is safe for Probabilistic Non-Interference
by David Clark, Chris Hankin, Sebastian Hunt, Rajagopal Nagarajan — 2000 — In Proc. WITS, 2000. www.doc.ic.ac.uk/ ˜clh/Papers/witscnh.ps.gz
…) David Clark 1 , Chris Hankin 1 , Sebastian Hunt 2 , and Rajagopal Nagarajan 1 1 Introduction…
Cited by 4 (0 self) – Add To MetaCart

Static analysis of valuepassing process calculi (extended abstract
by David Clark, Lindsay Errington, Chris Hankin — 1995 — In Proceedings of the 1994 Theory and Formal Methods Section Workshop. Imperial
… ERRINGTON and CHRIS HANKIN Department of Computing, Imperial College 180 Queen's Gate, London SW7 2BZ…
Cited by 1 (1 self) – Add To MetaCart

Safety of Strictness Analysis via Term Graph Rewriting
by David Clark, Chris Hankin, Sebastian Hunt — 2000
…Safety of Strictness Analysis via Term Graph Rewriting David Clark 1 , Chris Hankin 1…
Cited by 4 (0 self) – Add To MetaCart

A Congruence for Gamma Programs
by Lindsay Errington, Chris Hankin, Thomas Jensen — 1993 — in Proc. of the 5th workshop on Languages and Compilers for Parallel Computing
…A Congruence for Gamma Programs Lindsay Errington ? , Chris Hankin ?? and Thomas Jensen…
Cited by 45 (12 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB