David Clark

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantitative analysis of the leakage of confidential data	2025-03-11	Paper
An interval-based abstraction for quantifying information flow	2025-03-11	Paper
Correctly slicing extended finite state machines From Lambda Calculus to Cybersecurity Through Program Analysis	2020-07-20	Paper
Normalised squeeziness and failed error propagation Information Processing Letters	2019-09-20	Paper
An alternative characterization of weak order dependence Information Processing Letters	2017-11-03	Paper
A semiring-based trace semantics for processes with applications to information leakage analysis Mathematical Structures in Computer Science	2016-07-27	Paper
Refinement patterns for UML	2013-12-04	Paper
Quantified interference for a while language	2013-09-20	Paper
Squeeziness: an information theoretic measure for avoiding fault masking Information Processing Letters	2012-07-20	Paper
A semiring-based trace semantics for processes with applications to information leakage analysis IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Quantitative Information Flow, Relations and Polymorphic Types Journal Of Logic And Computation	2005-07-13	Paper
scientific article; zbMATH DE number 2086945 (Why is no real title available?)	2004-08-11	Paper
Information flow for Algol-like languages Computer Languages, Systems & Structures	2003-05-04	Paper
scientific article; zbMATH DE number 1696497 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1617319 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1231481 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 969069 (Why is no real title available?)	1997-01-22	Paper
scientific article; zbMATH DE number 860048 (Why is no real title available?)	1996-03-26	Paper
scientific article; zbMATH DE number 512901 (Why is no real title available?)	1994-03-10	Paper

Research outcomes over time

This page was built for person: David Clark