Skip to main content

Robert Sison

Robert Sison
Research Assistant

Research Interests

Robert's primary research interest is to discover how one may prove information-flow properties in a compositional manner, and thereby design and construct large systems with formally proven information-flow properties.

Contact Details

Email:Robert.Sison@data61.csiro.au

More contact information is available at the Contact page.

Photo of Robert Sison

Publication List

Projects

Past

Publications

Data61 Papers

2016

Abstract PDF Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah
Compositional verification and refinement of concurrent value-dependent noninterference
IEEE Computer Security Foundations Symposium, pp. 417-431, Lisbon, Portugal, June, 2016

Non-NICTA Papers

2016

Abstract PDF Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah
Compositional verification and refinement of concurrent value-dependent noninterference
IEEE Computer Security Foundations Symposium, pp. 417-431, Lisbon, Portugal, June, 2016