Hunt, Sebastian - Department of Computing, City University, London

Advanced Search

Hunt, Sebastian - Department of Computing, City University, London

Binding Time Analysis: A New PERspective \Lambda Sebastian Hunt y and David Sands z
PERs Generalise Projections for Strictness Analysis (Extended Abstract) \Lambda
QAPL 2004 Preliminary Version Quantified Interference for a While Language
Quanti ed Interference for a While Language ? David Clark 1 and Sebastian Hunt 2 and Pasquale Malacaria 3
Electronic Notes in Theoretical Computer Science 59 No. 3 (2001) URL: http://www.elsevier.nl/locate/entcs/volume59.html 14 pages
Security, Interference and Information How can we measure how secure is a software system?
Safety of Strictness Analysis via Term Graph David Clark 1 , Chris Hankin 1 , and Sebastian Hunt 2
A static analysis for quantifying information flow in a simple imperative language
On Flow-Sensitive Security Types Sebastian Hunt
Non-Interference for Interactive Programs David Clark and Sebastian Hunt
Quantitative Analysis of Leakage of Confidential Information
Quantified Interference: Information Theory and Information Flow (Extended Abstract)
University of London Imperial College of Science, Technology and Medicine
Termination-Insensitive Noninterference Leaks More Than Just a Bit
1 Background 1.1 Topic of research
Just Forget It The Semantics and Enforcement of Information Erasure
Just Forget It The Semantics and Enforcement of Information Erasure
Non-Interference for Deterministic Interactive Programs David Clark1
Frontiers And Open Sets in Abstract Interpretation Sebastian Hunt
The PER Model of Abstract Non-Interference Sebastian Hunt1
Non-Interference For Weak Observers David Clark (Kings College)
From Exponential to Polynomial-time Security Typing via Principal Types