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.
For his machine-checked Isabelle/HOL formalisation of a concurrent value-dependent noninterference-preserving compiler, please see the COVERN project.
Prior to that he was a software engineer at Open Kernel Labs, Inc. and General Dynamics C4 Systems.
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
|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
Per-thread compositional compilation for confidentiality-preserving concurrent programs
2nd Workshop on Principles of Secure Compilation, Los Angeles, January, 2018
|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