[THS11] Filippo Del Tedesco, Sebastian Hunt, and David Sands. A semantic hierarchy for erasure policies. In Sushil Jajodia and Chandan Mazumdar, editors, ICISS, volume 7093 of Lecture Notes in Computer Science, pages 352-369. Springer, 2011. [ bib | .pdf | Abstract ]
[HS11] Sebastian Hunt and David Sands. From exponential to polynomial-time security typing via principal types. In Gilles Barthe, editor, ESOP, volume 6602 of Lecture Notes in Computer Science, pages 297-316. Springer, 2011. [ bib | .pdf | Abstract ]
[CH08] David Clark and Sebastian Hunt. Non-interference for deterministic interactive programs. In Proc. 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), Lecture Notes in Computer Science, Malaga, Spain, October 2008. Springer-Verlag. [ bib | .pdf | Abstract ]
[AHSS08] Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, and David Sands. Termination-insensitive noninterference leaks more than just a bit. In Proc. 13th European Symposium on Research in Computer Security (ESORICS'08), volume 5283 of Lecture Notes in Computer Science, Malaga, Spain, October 2008. Springer-Verlag. [ bib | .pdf | Abstract ]
[HS08b] Sebastian Hunt and David Sands. Just forget it: The semantics and enforcement of information erasure. Extended version of [HS08a] including proofs, April 2008. [ bib | .pdf ]
[HS08a] Sebastian Hunt and David Sands. Just forget it: The semantics and enforcement of information erasure. In Proc. 17th European Symposium on Programming (ESOP'08), volume 4960 of Lecture Notes in Computer Science, Budapest, Hungary, March 2008. Springer-Verlag. [ bib | .pdf | Abstract ]
[CH07] David Clark and Sebastian Hunt. Non-interference for interactive programs. Presented at Third International Workshop on Programming Language Interference and Dependence (PLID'07), satellite workshop of SAS'07, August 2007. [ bib | http | .pdf ]
[CHM07] David Clark, Sebastian Hunt, and Pasquale Malacaria. A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3):321-371, 2007. [ bib | .pdf | Abstract ]
[HS06] Sebastian Hunt and David Sands. On flow-sensitive security types. In Proc. Principles of Programming Languages, 33rd Annual ACM SIGPLAN - SIGACT Symposium (POPL'06), pages 79-90, Charleston, South Carolina, USA, January 2006. ACM Press. [ bib | .pdf | Abstract ]
[HM05] Sebastian Hunt and Isabella Mastroeni. The per model of abstract non-interference. In R. Giacobazzi, editor, Proc. Static Analysis, 12th International Symposium (SAS'05), volume 3184 of Lecture Notes in Computer Science, pages 100-115. Springer-Verlag, 2005. [ bib | .pdf ]
[CHM05b] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative information flow, relations and polymorphic types. Journal of Logic and Computation, Special Issue on Lambda-calculus, type theory and natural language, 18(2):181-199, 2005. [ bib | http | Abstract ]
[CHM05a] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantified interference for a while language. Electronic Notes in Theoretical Computer Science, 112:149-166, January 2005. Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004). [ bib | http | .pdf | Abstract ]
[CHM04a] David Clark, Sebastian Hunt, and Pasquale Malacaria. Non-interference for weak observers. Presented at First International Workshop on Programming Language Interference and Dependence (PLID'04), satellite workshop of SAS'04, August 2004. [ bib | .html | .pdf ]
[CHM04b] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantified interference: Information theory and information flow. Presented at Workshop on Issues in the Theory of Security (WITS'04), April 2004. [ bib | .pdf ]
[CHM03a] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantified interference for a While language. Technical Report TR-03-07, Department of Computer Science, King's College London, October 2003. [ bib | .ps ]
[CHM03b] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of leakage of confidential information. Presented at Dagstuhl Seminar 03411: Language Based Security, October 2003. [ bib | http | .pdf | Abstract ]
[CHM02] David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3):1-14, November 2002. QAPL'01, Quantitative Aspects of Programming Laguages (Satellite Event for PLI 2001). [ bib | http | .pdf | Abstract ]
[CHH02] David Clark, Chris Hankin, and Sebastian Hunt. Information flow for algol-like languages. Computer Languages, 28(1), 2002. [ bib | Abstract ]
[CHH00] David Clark, Chris Hankin, and Sebastian Hunt. Safety of strictness analysis via term graph rewriting. In Jens Palsberg, editor, Proc. Static Analysis, 7th International Symposium, SAS 2000, number 1824 in Lecture Notes in Computer Science, pages 95-114, Santa Barbara, California, USA, June 2000. Springer-Verlag. [ bib | .ps.gz | Abstract ]
[JJGH96] Michael Jampel, Jean-Marie Jacquet, David Gilbert, and Sebastian Hunt. Transformations between hclp and pcsp. In Eugene C. Freuder, editor, Proc. CP96: Second International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pages 252-266, Cambridge, Massachusetts, USA, August 1996. Springer-Verlag. [ bib ]
[HHR96] John Hughes, Sebastian Hunt, and Colin Runciman. Higher-order functions as decision trees: taming a space monster. Computer Science Technical Report Series 1996/04, City University, 1996. [ bib | .pdf ]
[JH95] Michael Jampel and Sebastian Hunt. Composition in hierarchical clp. In Proc. IJCAI'95: International Joint Conference on Artificial Intelligence, pages 640-645. Morgan Kaufman, 1995. [ bib ]
[HH94] Chris Hankin and Sebastian Hunt. Approximate fixed points in abstract interpretation. Science of Computer Programming, 22(3):283-306, 1994. [ bib ]
[HH92] Chris Hankin and Sebastian Hunt. Approximate fixed points in abstract interpretation. In Proc. ESOP'92: 4th European Symposium on Programming, number 582 in Lecture Notes in Computer Science, pages 219-232. Springer-Verlag, 1992. [ bib ]
[HH91] Chris Hankin and Sebastian Hunt. Fixed points and frontiers: a new perspective. Journal of Functional Programming, 1(1), 1991. [ bib ]
[HS91] Sebastian Hunt and David Sands. Binding time analysis: a new perspective. In Proc. PEPM'91: Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, 1991. [ bib | .ps.gz ]
[Hun91a] Sebastian Hunt. Abstract Interpretation of Functional Languages: From Theory to Practice. PhD thesis, Department of Computing, Imperial College of Science Technology and Medicine, 1991. [ bib | .ps.gz ]
[Hun91b] Sebastian Hunt. Pers generalise projections for strictness analysis (extended abstract). In Proc. 1990 Glasgow Workshop on Functional Programming, Workshops in Computing, Ullapool, 1991. Springer-Verlag. [ bib | .ps.gz ]
[Hun89] Sebastian Hunt. Frontiers and open sets in abstract interpretation. In Proc. FPCA'89: 4th Conference on Functional Programming Languages and Computer Architectures. ACM Press, 1989. [ bib | .ps.gz ]