Sebastian Hunt

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