Department of Computing

City "/> School of Informatics "/>People "/>Sebastian Hunt

I am a member of the Programming Languages and Systems research group.

Arrange a meeting

If you would like to arrange a meeting with me, please check my calendar and then email with some suggested times.

Research interests

My research interests include: language-based security; information flow; semantics and models of computation; program
analysis; abstract interpretation; type systems; programming languages.

Selected publications

[HS08]	Sebastian Hunt and David Sands. Just forget it: The semantics and enforcement of information erasure. In Proc. 17th European Symposium on Programming (ESOP'08), Budapest, Hungary, March 2008. Springer-Verlag (LNCS). To appear. [ bib | .pdf | Abstract ]
[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 ]
[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 ]
[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 ]

QIF Project

2005-2009. EPSRC.
Principal Investigator Quantitative Information Flow (start date 1 October 2005, duration 42 months).
Joint Project with David Clark (Kings College) and Pasquale Malacaria (Queen Mary).
Total value: £272,734 (£96,357 at City).