Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Preprints
, 2018, Types for Information Flow Control: Labeling Granularity and Semantic Models, https://doi.org/10.1109/CSF.2018.00024
, 2017, WebPol: Fine-grained Information Flow Policies for Web Browsers, https://doi.org/10.1007/978-3-319-66402-6_15
, 2015, Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis, https://doi.org/10.1145/2637113.2637116
, 2014, Information Flow Control in WebKit's JavaScript Bytecode, https://arxiv.org/abs/1401.4339v2