| On flow-sensitive security types S Hunt, D Sands ACM SIGPLAN Notices 41 (1), 79-90, 2006 | 311 | 2006 |
| Termination-insensitive noninterference leaks more than just a bit A Askarov, S Hunt, A Sabelfeld, D Sands Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008 | 248 | 2008 |
| A static analysis for quantifying information flow in a simple imperative language D Clark, S Hunt, P Malacaria Journal of Computer Security 15 (3), 321-371, 2007 | 239 | 2007 |
| Quantitative analysis of the leakage of confidential data D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002 | 223 | 2002 |
| Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Journal of Logic and Computation 15 (2), 181-199, 2005 | 180 | 2005 |
| Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005 | 113 | 2005 |
| Binding time analysis: A new PERspective S Hunt, D Sands Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and …, 1991 | 75 | 1991 |
| Non-interference for deterministic interactive programs D Clark, S Hunt Formal Aspects in Security and Trust, 50-66, 2009 | 67 | 2009 |
| Information flow for Algol-like languages D Clark, C Hankin, S Hunt Computer Languages, Systems & Structures 28 (1), 3-28, 2002 | 66 | 2002 |
| Abstract interpretation of functional languages: from theory to practice S Hunt Imperial College London, 1991 | 59 | 1991 |
| Just forget it–the semantics and enforcement of information erasure S Hunt, D Sands Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 46 | 2008 |
| Fixed points and frontiers: a new perspective S Hunt, C Hankin Journal of Functional Programming 1 (1), 91-120, 1991 | 46 | 1991 |
| PERs generalise projections for strictness analysis S Hunt Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow …, 1991 | 45 | 1991 |
| Very static enforcement of dynamic policies B van Delft, S Hunt, D Sands Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015 | 30 | 2015 |
| Frontiers and open sets in abstract interpretation S Hunt Proceedings of the fourth international conference on Functional programming …, 1989 | 28 | 1989 |
| The PER model of abstract non-interference S Hunt, I Mastroeni Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 26 | 2005 |
| From exponential to polynomial-time security typing via principal types S Hunt, D Sands Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 21 | 2011 |
| Quantified interference: Information theory and information flow D Clark, S Hunt, P Malacaria Workshop on Issues in the Theory of Security (WITS’04), 2004 | 21 | 2004 |
| Approximate fixed points in abstract interpretation C Hankin, S Hunt ESOP'92: 4th European Symposium on Programming Rennes, France, February 26 …, 1992 | 20 | 1992 |
| A semantic hierarchy for erasure policies F Del Tedesco, S Hunt, D Sands Information Systems Security: 7th International Conference, ICISS 2011 …, 2011 | 17 | 2011 |
