dblp.uni-trier.dewww.uni-trier.de

Sebastian Hunt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
18EESebastian Hunt, David Sands: Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP 2008: 239-253
17EEAslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
16EEDavid Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
2007
15EEDavid 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
14EESebastian Hunt, David Sands: On flow-sensitive security types. POPL 2006: 79-90
2005
13EESebastian Hunt, Isabella Mastroeni: The PER Model of Abstract Non-interference. SAS 2005: 171-185
12EEDavid Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
11EEDavid 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
9EEDavid 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
1EESebastian Hunt: Frontiers and Open Sets in Abstract Interpretation. FPCA 1989: 1-13

Coauthor Index

1Aslan Askarov [17]
2David Clark [8] [9] [10] [11] [12] [15] [16]
3David Gilbert (David R. Gilbert) [7]
4Chris Hankin [2] [4] [5] [8] [10]
5Jean-Marie Jacquet [7]
6Michael Jampel [6] [7]
7Pasquale Malacaria [9] [11] [12] [15]
8Isabella Mastroeni [13]
9Andrei Sabelfeld [17]
10David Sands [3] [14] [17] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)