Quantitative Information Flow
Lead Research Organisation:
King's College London
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
| David Clark (Principal Investigator) |
Publications
BOREALE M
(2014)
A semiring-based trace semantics for processes with applications to information leakage analysis
in Mathematical Structures in Computer Science
D Clark
(2007)
A Static Analysis for Quantifying the Information Flow in a Simple Imperative Programming Language
in The Journal of Computer Security
D Clark
(2009)
Noninterference for Deterministic Interactive Programs
Mu C
(2009)
An Interval-based Abstraction for Quantifying Information Flow
in Electronic Notes in Theoretical Computer Science