Background
These publications represent roughly 15 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
March 2013.
See in particular our
recent work
on
Noninterference Security
, and
Our
research monograph.
Abstraction, Refinement and Proof for Probabilistic Systems
Springer Verlag
Published January 2005
.
We are currently
Annabelle McIver
,
Larissa Meinicke
and
Carroll Morgan.
We were earlier also
Jeff Sanders
,
Karen Seidel
.
