ORCID as entered in ROS
https://orcid.org/0000-0002-8535-9068
Select Publications
Preprints
, 2010, Compositional closure for Bayes Risk in probabilistic noninterference, http://dx.doi.org/10.48550/arxiv.1007.1054
https://orcid.org/0000-0002-8535-9068