|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 7 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Filippo Del Tedesco, Sebastian Hunt, David Sands |
A Semantic Hierarchy for Erasure Policies  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Filippo Del Tedesco, Sebastian Hunt, David Sands |
A Semantic Hierarchy for Erasure Policies. |
ICISS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
From Exponential to Polynomial-Time Security Typing via Principal Types. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt |
Non-Interference for Deterministic Interactive Programs. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
Just Forget It - The Semantics and Enforcement of Information Erasure. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands |
Termination-Insensitive Noninterference Leaks More Than Just a Bit. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
A static analysis for quantifying information flow in a simple imperative language. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
On flow-sensitive security types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantified Interference for a While Language. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantitative Information Flow, Relations and Polymorphic Types. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, Isabella Mastroeni |
The PER Model of Abstract Non-interference. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, Information flow, language-based security, non-interference |
| 1 | David Clark, Chris Hankin, Sebastian Hunt |
Information flow for Algol-like languages. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantitative Analysis of the Leakage of Confidential Data. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Chris Hankin, Sebastian Hunt |
Safety of Strictness Analysis via Term Graph Rewriting. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt |
Transformations Between HCLP and PCSP. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jampel, Sebastian Hunt |
Composition in Hierarchical CLP. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Chris Hankin, Sebastian Hunt |
Approximate Fixed Points in Abstract Interpretation. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Sebastian Hunt |
Approximate Fixed Points in Abstract Interpretation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, Chris Hankin |
Fixed Points and Frontiers: A New Perspective. |
J. Funct. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
Binding Time Analysis: A New PERspective. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt |
Frontiers and Open Sets in Abstract Interpretation. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")