Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sebastian Hunt
2010 – today
- 2011
[c13]Sebastian Hunt, David Sands: From Exponential to Polynomial-Time Security Typing via Principal Types. ESOP 2011: 297-316- [c12]Filippo Del Tedesco, Sebastian Hunt, David Sands: A Semantic Hierarchy for Erasure Policies. ICISS 2011: 352-369
- [i1]Filippo Del Tedesco, Sebastian Hunt, David Sands: A Semantic Hierarchy for Erasure Policies. CoRR abs/1109.6914 (2011)
2000 – 2009
- 2008
- [c11]Sebastian Hunt, David Sands: Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP 2008: 239-253
- [c10]Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
- [c9]David Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
- 2007
- [j7]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
- [c8]
- 2005
- [j6]David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
- [j5]David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)
- [c7]
- 2002
- [j4]David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)
- 2001
- [j3]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
- [c6]David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
1990 – 1999
- 1996
- [c5]Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt: Transformations Between HCLP and PCSP. CP 1996: 252-266
- 1995
- [c4]
- 1994
- [j2]Chris Hankin, Sebastian Hunt: Approximate Fixed Points in Abstract Interpretation. Sci. Comput. Program. 22(3): 283-306 (1994)
- 1992
- [c3]Chris Hankin, Sebastian Hunt: Approximate Fixed Points in Abstract Interpretation. ESOP 1992: 219-232
- 1991
- [j1]Sebastian Hunt, Chris Hankin: Fixed Points and Frontiers: A New Perspective. J. Funct. Program. 1(1): 91-120 (1991)
- [c2]
1980 – 1989
- 1989
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:27 CET by the dblp team