| 2011 | ESOP | From Exponential to Polynomial-Time Security Typing via Principal Types. | Sebastian Hunt, David Sands |
| 2011 | ICISS | A Semantic Hierarchy for Erasure Policies. | Filippo Del Tedesco, Sebastian Hunt, David Sands |
| 2008 | ESOP | Just Forget It - The Semantics and Enforcement of Information Erasure. | Sebastian Hunt, David Sands |
| 2008 | ESORICS | Termination-Insensitive Noninterference Leaks More Than Just a Bit. | Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands |
| 2006 | POPL | On flow-sensitive security types. | Sebastian Hunt, David Sands |
| 2005 | SAS | The PER Model of Abstract Non-interference. | Sebastian Hunt, Isabella Mastroeni |
| 2000 | SAS | Safety of Strictness Analysis via Term Graph Rewriting. | David Clark, Chris Hankin, Sebastian Hunt |
| 1996 | CP | Transformations Between HCLP and PCSP. | Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt |
| 1995 | IJCAI | Composition in Hierarchical CLP. | Michael Jampel, Sebastian Hunt |
| 1992 | ESOP | Approximate Fixed Points in Abstract Interpretation. | Chris Hankin, Sebastian Hunt |
| 1991 | PEPM | Binding Time Analysis: A New PERspective. | Sebastian Hunt, David Sands |