Skip to main content

Robert Sison
PhD Student

Research Interests

Robert is broadly interested in discovering how one may design and construct large systems with formally proved information-flow security properties. His current research focus is on the development and improvement of formal methods for the preservation of information-flow security properties across compilation.

Contact Details

Email:Robert.Sison@data61.csiro.au

More contact information is available at the Contact page.

Photo of Robert Sison

Publication List


Robert is a third-year PhD student supervised by Toby Murray and Kai Engelhardt.

For his machine-checked Isabelle/HOL formalisation of a concurrent value-dependent noninterference-preserving compiler, please see the COVERN project.

Projects

Current

Past

Career Summary

Previously at NICTA and Data61, Robert was a research engineer developing software for the eChronos/SMACCM project, and proofs for the Information Flow project.

Prior to that he was a software engineer at Open Kernel Labs, Inc. and General Dynamics C4 Systems.

Qualifications

2016: Master of Information Technology with Excellence, University of New South Wales

2010: Bachelor of Engineering (Computer Engineering) with First Class Honours, University of New South Wales

Publications

Data61 Papers

2018

Abstract PDF Toby Murray, Robert Sison and Kai Engelhardt
COVERN: A logic for compositional verification of information flow control
European Symposium on Security and Privacy, London, United Kingdom, April, 2018
Abstract
Slides
PDF Robert Sison
Per-thread compositional compilation for confidentiality-preserving concurrent programs
2nd Workshop on Principles of Secure Compilation, Los Angeles, January, 2018

NICTA Papers

2016

Abstract PDF Toby Murray, Robert Sison, Ed 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

Served by Apache on Linux on seL4.