Sebastian Hunt

	2011
21		Sebastian Hunt, David Sands: From Exponential to Polynomial-Time Security Typing via Principal Types. ESOP 2011: 297-316
20		Filippo Del Tedesco, Sebastian Hunt, David Sands: A Semantic Hierarchy for Erasure Policies. ICISS 2011: 352-369
19		Filippo Del Tedesco, Sebastian Hunt, David Sands: A Semantic Hierarchy for Erasure Policies CoRR abs/1109.6914: (2011)
	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): 238-251 (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

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page