Follow
Sebastian Hunt
Sebastian Hunt
Department of Computer Science, City University London
Verified email at soi.city.ac.uk
Title
Cited by
Cited by
Year
On flow-sensitive security types
S Hunt, D Sands
ACM SIGPLAN Notices 41 (1), 79-90, 2006
3182006
Termination-insensitive noninterference leaks more than just a bit
A Askarov, S Hunt, A Sabelfeld, D Sands
Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008
2532008
A static analysis for quantifying information flow in a simple imperative language
D Clark, S Hunt, P Malacaria
Journal of Computer Security 15 (3), 321-371, 2007
2452007
Quantitative analysis of the leakage of confidential data
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002
2262002
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Journal of Logic and Computation 15 (2), 181-199, 2005
1822005
Quantified interference for a while language
D Clark, S Hunt, P Malacaria
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005
1132005
Binding time analysis: A new PERspective
S Hunt, D Sands
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and …, 1991
751991
Non-interference for deterministic interactive programs
D Clark, S Hunt
Formal Aspects in Security and Trust, 50-66, 2009
722009
Information flow for Algol-like languages
D Clark, C Hankin, S Hunt
Computer Languages, Systems & Structures 28 (1), 3-28, 2002
682002
Abstract interpretation of functional languages: from theory to practice
S Hunt
University of London, 1991
641991
Just forget it–the semantics and enforcement of information erasure
S Hunt, D Sands
European Symposium on Programming, 239-253, 2008
512008
Fixed points and frontiers: a new perspective
S Hunt, C Hankin
Journal of Functional Programming 1 (1), 91-120, 1991
481991
PERs generalise projections for strictness analysis
S Hunt
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow …, 1991
461991
Very static enforcement of dynamic policies
B van Delft, S Hunt, D Sands
Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015
332015
The PER model of abstract non-interference
S Hunt, I Mastroeni
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
292005
Frontiers and open sets in abstract interpretation
S Hunt
Proceedings of the fourth international conference on Functional programming …, 1989
281989
Quantified interference: Information theory and information flow
D Clark, S Hunt, P Malacaria
Workshop on Issues in the Theory of Security (WITS’04), 2004
242004
Approximate fixed points in abstract interpretation
C Hankin, S Hunt
European Symposium on Programming, 219-232, 1992
221992
From exponential to polynomial-time security typing via principal types
S Hunt, D Sands
European Symposium on Programming, 297-316, 2011
212011
A semantic hierarchy for erasure policies
F Del Tedesco, S Hunt, D Sands
Information Systems Security: 7th International Conference, ICISS 2011 …, 2011
172011
The system can't perform the operation now. Try again later.
Articles 1–20