Sebastian Hunt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2023

Reconciling Shannon and Scott with a Lattice of Computable InformationSebastian Hunt, David Sands 0001, Sandro Stucki. PACMPL, 7(POPL):1987-2016, January 2023. [doi]

2021

A Quantale of InformationSebastian Hunt, David Sands 0001. csfw 2021: 1-15 [doi]

2020

New Program Abstractions for PrivacySebastian Hunt, David Sands 0001. BIRTHDAY 2020: 256-267 [doi]

2015

Very Static Enforcement of Dynamic PoliciesBart van Delft, Sebastian Hunt, David Sands. post 2015: 32-52 [doi]

2011

From Exponential to Polynomial-Time Security Typing via Principal TypesSebastian Hunt, David Sands. ESOP 2011: 297-316 [doi]

A Semantic Hierarchy for Erasure PoliciesFilippo Del Tedesco, Sebastian Hunt, David Sands. iciss 2011: 352-369 [doi]

2008

Termination-Insensitive Noninterference Leaks More Than Just a BitAslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands. esorics 2008: 333-348 [doi]

Non-Interference for Deterministic Interactive ProgramsDavid Clark, Sebastian Hunt. ifip1-7 2009: 50-66 [doi]

Just Forget It - The Semantics and Enforcement of Information ErasureSebastian Hunt, David Sands. ESOP 2008: 239-253 [doi]

2007

A static analysis for quantifying information flow in a simple imperative languageDavid Clark, Sebastian Hunt, Pasquale Malacaria. jcs, 15(3):321-371, 2007. [doi]

2006

On flow-sensitive security typesSebastian Hunt, David Sands. POPL 2006: 79-90 [doi]

2005

Quantitative Information Flow, Relations and Polymorphic TypesDavid Clark, Sebastian Hunt, Pasquale Malacaria. logcom, 15(2):181-199, 2005. [doi]

Quantified Interference for a While LanguageDavid Clark, Sebastian Hunt, Pasquale Malacaria. ENTCS, 112:149-166, 2005. [doi]

The PER Model of Abstract Non-interferenceSebastian Hunt, Isabella Mastroeni. SAS 2005: 171-185 [doi]

2002

Information flow for Algol-like languagesDavid Clark, Chris Hankin, Sebastian Hunt. Comp. Lang., Syst. \& Struct., 28(1):3-28, 2002.

2001

Quantitative Analysis of the Leakage of Confidential DataDavid Clark, Sebastian Hunt, Pasquale Malacaria. TCS, 59(3):238-251, 2001. [doi]

2000

Safety of Strictness Analysis via Term Graph RewritingDavid Clark, Chris Hankin, Sebastian Hunt. SAS 2000: 95-114

1996

Transformations Between HCLP and PCSPMichael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt. cp 1996: 252-266

1995

Composition in Hierarchical CLPMichael Jampel, Sebastian Hunt. IJCAI 1995: 640-645

1994

Approximate Fixed Points in Abstract InterpretationChris Hankin, Sebastian Hunt. SCP, 22(3):283-306, 1994.

1992

Approximate Fixed Points in Abstract InterpretationChris Hankin, Sebastian Hunt. ESOP 1992: 219-232

1991

Binding Time Analysis: A New PERspectiveSebastian Hunt, David Sands. PEPM 1991: 154-165

Abstract interpretation of functional languages: from theory to practiceSebastian Hunt. PhD thesis, Imperial College London, UK, 1991. [doi]

Fixed Points and Frontiers: A New PerspectiveSebastian Hunt, Chris Hankin. JFP, 1(1):91-120, 1991.

1990

PERs Generalise Projections for Strictness Analysis (Extended Abstract)Sebastian Hunt. 1991: 114-125 [doi]

1989

Frontiers and Open Sets in Abstract InterpretationSebastian Hunt. fpca 1989: 1-13 [doi]

Sign in or sign up to see more results.

runs on WebDSL