Select Publications

By Dr Rob Sison

Theses / Dissertations

Sison R, 2020, Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs, http://dx.doi.org/10.26190/5fab5c0a76454


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0003-0313-9764

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation