Concepedia

Robert Sison

RS

Statistics

Publications

3

Citations

99

H-Index

3

Active since

2016

Affiliations

The University of Melbourne(Current)

UNSW Sydney

Data61

Robert Sison is an author at The University of Melbourne specializing in computing, control-flow analysis, and data-flow analysis.

ORCID

Publications per year

2016–2019

3

Publications

3

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby Murray, Robert Sison, Edward Pierzchalski et al. · 2016 · 50 citations

, , +17

COVERN: A Logic for Compositional Verification of Information Flow Control

Toby Murray, Robert Sison, Kai Engelhardt · 2018 · 34 citations

, , +16

Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security

Robert Sison, Toby Murray · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 15 citations · Full text

, , +13

1–3 of 3