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
(2010)
Theoretical Computer Science
BOREALE M
(2014)
A semiring-based trace semantics for processes with applications to information leakage analysis
in Mathematical Structures in Computer Science
Clark D
(2009)
Formal Aspects in Security and Trust
Clark D
(2007)
A static analysis for quantifying information flow in a simple imperative language
in Journal of Computer Security
D Clark
(2009)
Noninterference for Deterministic Interactive Programs
D Clark
(2007)
A Static Analysis for Quantifying the Information Flow in a Simple Imperative Programming Language
in The Journal of Computer Security
Mu C
(2009)
An Interval-based Abstraction for Quantifying Information Flow
in Electronic Notes in Theoretical Computer Science