Robert Sison's links
Find out more about Robert Sison's experience
Robert Sison's highlights
FEATURED Conference Proceedings
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems
Read moreRobert Sison's selected work
Verified secure compilation for mixed-sensitivity concurrent programs
Journal article
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concu..
Thesis / Dissertation
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security
Conference Proceedings
COVERN: A Logic for Compositional Verification of Information Flow Control
Conference Proceedings
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference
Conference Proceedings
Robert Sison's selected work
Scholarly Works
Displaying the 6 most recent scholarly works from 6 for Robert Sison.
Honours, Awards and Fellowships
Eureka Prize for Outstanding Science in Safeguarding Australia (Cross Domain Desktop Compositor team)
Attendance at Summer School Marktoberdorf (Engineering Secure and Dependable Software Systems)
Travel support to attend DeepSpec Summer School on Verified Systems (DSSS'18)
Travel support to attend Programming Languages Mentoring Workshop (PLMW@POPL'18)
CSIRO Data61 Research Project Award (PhD top-up scholarship)
Credentials
Positions
Research Fellow
Computing and Information Systems
Education
Doctor of Philosophy (Computer Science and Engineering)
University of New South Wales
Master of Information Technology with Excellence
University of New South Wales
Bachelor of Engineering (Computer Engineering) with Honours Class 1, and Bachelor of Arts (Japanese Studies), combined
University of New South Wales