Robert is broadly interested in discovering how one may design and construct large systems with formally proven 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.
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