 | 2008 |
|---|
| 18 |       | Sebastian Hunt,
David Sands:
Just Forget It - The Semantics and Enforcement of Information Erasure.
ESOP 2008: 239-253 |
| 17 | | Aslan Askarov,
Sebastian Hunt,
Andrei Sabelfeld,
David Sands:
Termination-Insensitive Noninterference Leaks More Than Just a Bit.
ESORICS 2008: 333-348 |
| 16 | | David Clark,
Sebastian Hunt:
Non-Interference for Deterministic Interactive Programs.
Formal Aspects in Security and Trust 2008: 50-66 |
| 2007 |
|---|
| 15 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
A static analysis for quantifying information flow in a simple imperative language.
Journal of Computer Security 15(3): 321-371 (2007) |
| 2006 |
|---|
| 14 | | Sebastian Hunt,
David Sands:
On flow-sensitive security types.
POPL 2006: 79-90 |
| 2005 |
|---|
| 13 | | Sebastian Hunt,
Isabella Mastroeni:
The PER Model of Abstract Non-interference.
SAS 2005: 171-185 |
| 12 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantified Interference for a While Language.
Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005) |
| 11 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantitative Information Flow, Relations and Polymorphic Types.
J. Log. Comput. 15(2): 181-199 (2005) |
| 2002 |
|---|
| 10 |  | David Clark,
Chris Hankin,
Sebastian Hunt:
Information flow for Algol-like languages.
Comput. Lang. 28(1): 3-28 (2002) |
| 2001 |
|---|
| 9 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantitative Analysis of the Leakage of Confidential Data.
Electr. Notes Theor. Comput. Sci. 59(3): (2001) |
| 2000 |
|---|
| 8 | | David Clark,
Chris Hankin,
Sebastian Hunt:
Safety of Strictness Analysis via Term Graph Rewriting.
SAS 2000: 95-114 |
| 1996 |
|---|
| 7 | | Michael Jampel,
Jean-Marie Jacquet,
David Gilbert,
Sebastian Hunt:
Transformations Between HCLP and PCSP.
CP 1996: 252-266 |
| 1995 |
|---|
| 6 | | Michael Jampel,
Sebastian Hunt:
Composition in Hierarchical CLP.
IJCAI (1) 1995: 640-645 |
| 1994 |
|---|
| 5 | | Chris Hankin,
Sebastian Hunt:
Approximate Fixed Points in Abstract Interpretation.
Sci. Comput. Program. 22(3): 283-306 (1994) |
| 1992 |
|---|
| 4 | | Chris Hankin,
Sebastian Hunt:
Approximate Fixed Points in Abstract Interpretation.
ESOP 1992: 219-232 |
| 1991 |
|---|
| 3 | | Sebastian Hunt,
David Sands:
Binding Time Analysis: A New PERspective.
PEPM 1991: 154-165 |
| 2 | | Sebastian Hunt,
Chris Hankin:
Fixed Points and Frontiers: A New Perspective.
J. Funct. Program. 1(1): 91-120 (1991) |
| 1989 |
|---|
| 1 | | Sebastian Hunt:
Frontiers and Open Sets in Abstract Interpretation.
FPCA 1989: 1-13 |
