Sebastian Hunt

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 4

Top Venues

CoRR

Proc. ACM Program. Lang.

CSF

POST

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. Proc. ACM Program. Lang. 7 (POPL) (2023)
Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. CoRR (2022)
Sebastian Hunt, David Sands
A Quantale of Information. CSF (2021)
Sebastian Hunt, David Sands
New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. CoRR (2015)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. POST (2015)
Filippo Del Tedesco, Sebastian Hunt, David Sands
A Semantic Hierarchy for Erasure Policies CoRR (2011)
Filippo Del Tedesco, Sebastian Hunt, David Sands
A Semantic Hierarchy for Erasure Policies. ICISS (2011)
Sebastian Hunt, David Sands
From Exponential to Polynomial-Time Security Typing via Principal Types. ESOP (2011)
David Clark, Sebastian Hunt
Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust (2008)
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS (2008)
Sebastian Hunt, David Sands
Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP (2008)
David Clark, Sebastian Hunt, Pasquale Malacaria
A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur. 15 (3) (2007)
Sebastian Hunt, David Sands
On flow-sensitive security types. POPL (2006)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15 (2) (2005)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantified Interference for a While Language. Electron. Notes Theor. Comput. Sci. 112 (2005)
Sebastian Hunt, Isabella Mastroeni
The PER Model of Abstract Non-interference. SAS (2005)
David Clark, Chris Hankin, Sebastian Hunt
Information flow for Algol-like languages. Comput. Lang. Syst. Struct. 28 (1) (2002)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Analysis of the Leakage of Confidential Data. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
David Clark, Chris Hankin, Sebastian Hunt
Safety of Strictness Analysis via Term Graph Rewriting. SAS (2000)
Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt
Transformations Between HCLP and PCSP. CP (1996)
Michael Jampel, Sebastian Hunt
Composition in Hierarchical CLP. IJCAI (1) (1995)
Chris Hankin, Sebastian Hunt
Approximate Fixed Points in Abstract Interpretation. Sci. Comput. Program. 22 (3) (1994)
Chris Hankin, Sebastian Hunt
Approximate Fixed Points in Abstract Interpretation. ESOP (1992)
Sebastian Hunt, David Sands
Binding Time Analysis: A New PERspective. PEPM (1991)
Sebastian Hunt, Chris Hankin
Fixed Points and Frontiers: A New Perspective. J. Funct. Program. 1 (1) (1991)
Sebastian Hunt
PERs Generalise Projections for Strictness Analysis (Extended Abstract). Functional Programming (1990)
Sebastian Hunt
Frontiers and Open Sets in Abstract Interpretation. FPCA (1989)

Sebastian Hunt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Hunt