Background
These publications represent roughly 20 years of research within the general theme of probabilistic, nondeterministic and secure models for computer programs. The work began in Oxford in 1995, and moved to Australia in 2000.
Publications
Updated
May 2015.
See in particular our
recent work
on
Quantitative Information Flow
, and
Our
research monograph.
Abstraction, Refinement and Proof for Probabilistic Systems
Springer Verlag
Published January 2005
(ten years ago!)
We are currently
Annabelle McIver
,
Carroll Morgan
and
Tahiry Rabehaja
.
We were earlier also
Jeff Sanders
,
Karen Seidel
and
Larissa Meinicke
.