Frontiers and Open Sets in Abstract Interpretation. - Sebastian Hunt (FPCA, 1989)

PERs Generalise Projections for Strictness Analysis (Extended Abstract). - Sebastian Hunt (Functional Programming, 1990)

Binding Time Analysis: A New PERspective. - Sebastian Hunt; David Sands 001 (PEPM, 1991)

Fixed Points and Frontiers: A New Perspective. - Sebastian Hunt; Chris Hankin (J. Funct. Program., 1991)

Abstract interpretation of functional languages: from theory to practice. - Sebastian Hunt (1991)

Approximate Fixed Points in Abstract Interpretation. - Chris Hankin; Sebastian Hunt (Sci. Comput. Program., 1994)

Composition in Hierarchical CLP. - Michael Jampel; Sebastian Hunt (IJCAI (1), 1995)

Transformations Between HCLP and PCSP. - Michael Jampel; Jean-Marie Jacquet; David R. Gilbert; Sebastian Hunt (CP, 1996)

Safety of Strictness Analysis via Term Graph Rewriting. - David Clark 001; Chris Hankin; Sebastian Hunt (SAS, 2000)

Quantitative Analysis of the Leakage of Confidential Data. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2001)

Information flow for Algol-like languages. - David Clark 001; Chris Hankin; Sebastian Hunt (Comput. Lang. Syst. Struct., 2002)

Quantified Interference for a While Language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2004)

The PER Model of Abstract Non-interference. - Sebastian Hunt; Isabella Mastroeni (SAS, 2005)

Quantitative Information Flow, Relations and Polymorphic Types. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Log. Comput., 2005)

On flow-sensitive security types. - Sebastian Hunt; David Sands 001 (POPL, 2006)

A static analysis for quantifying information flow in a simple imperative language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Comput. Secur., 2007)

Just Forget It - The Semantics and Enforcement of Information Erasure. - Sebastian Hunt; David Sands 001 (ESOP, 2008)

Termination-Insensitive Noninterference Leaks More Than Just a Bit. - Aslan Askarov; Sebastian Hunt; Andrei Sabelfeld; David Sands 001 (ESORICS, 2008)

Non-Interference for Deterministic Interactive Programs. - David Clark 001; Sebastian Hunt (Formal Aspects in Security and Trust, 2008)

From Exponential to Polynomial-Time Security Typing via Principal Types. - Sebastian Hunt; David Sands 001 (ESOP, 2011)

A Semantic Hierarchy for Erasure Policies. - Filippo Del Tedesco; Sebastian Hunt; David Sands 001 (ICISS, 2011)

Very Static Enforcement of Dynamic Policies. - Bart van Delft; Sebastian Hunt; David Sands 001 (POST, 2015)

New Program Abstractions for Privacy. - Sebastian Hunt; David Sands 001 (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

A Quantale of Information. - Sebastian Hunt; David Sands 001 (CSF, 2021)

Reconciling Shannon and Scott with a Lattice of Computable Information. - Sebastian Hunt; David Sands 001; Sandro Stucki (Proc. ACM Program. Lang., 2023)