|
Search the dblp DataBase
Sebastian Hunt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
Transformations Between HCLP and PCSP. [Citation Graph (0, 0)][DBLP] CP, 1996, pp:252-266 [Conf]
- Chris Hankin, Sebastian Hunt
Approximate Fixed Points in Abstract Interpretation. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:219-232 [Conf]
- Sebastian Hunt
Frontiers and Open Sets in Abstract Interpretation. [Citation Graph (0, 0)][DBLP] FPCA, 1989, pp:1-13 [Conf]
- Michael Jampel, Sebastian Hunt
Composition in Hierarchical CLP. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1995, pp:640-645 [Conf]
- Sebastian Hunt, David Sands
Binding Time Analysis: A New PERspective. [Citation Graph (0, 0)][DBLP] PEPM, 1991, pp:154-165 [Conf]
- Sebastian Hunt, David Sands
On flow-sensitive security types. [Citation Graph (0, 0)][DBLP] POPL, 2006, pp:79-90 [Conf]
- David Clark, Chris Hankin, Sebastian Hunt
Safety of Strictness Analysis via Term Graph Rewriting. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:95-114 [Conf]
- Sebastian Hunt, Isabella Mastroeni
The PER Model of Abstract Non-interference. [Citation Graph (0, 0)][DBLP] SAS, 2005, pp:171-185 [Conf]
- David Clark, Chris Hankin, Sebastian Hunt
Information flow for Algol-like languages. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:3-28 [Journal]
- David Clark, Sebastian Hunt, Pasquale Malacaria
Quantified Interference for a While Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:149-166 [Journal]
- David Clark, Sebastian Hunt, Pasquale Malacaria
A static analysis for quantifying information flow in a simple imperative language. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2007, v:15, n:3, pp:321-371 [Journal]
- Sebastian Hunt, Chris Hankin
Fixed Points and Frontiers: A New Perspective. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1991, v:1, n:1, pp:91-120 [Journal]
- David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Information Flow, Relations and Polymorphic Types. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:2, pp:181-199 [Journal]
- Chris Hankin, Sebastian Hunt
Approximate Fixed Points in Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1994, v:22, n:3, pp:283-306 [Journal]
- David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Analysis of the Leakage of Confidential Data. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
Just Forget It - The Semantics and Enforcement of Information Erasure. [Citation Graph (, )][DBLP]
Termination-Insensitive Noninterference Leaks More Than Just a Bit. [Citation Graph (, )][DBLP]
Non-Interference for Deterministic Interactive Programs. [Citation Graph (, )][DBLP]
Search in 0.038secs, Finished in 0.039secs
|