Toby Murray -

Registered user since Wed 15 Jun 2016

Name: Toby Murray

Country: Australia

Affiliation: University of Melbourne, Australia

Personal website: http://people.eng.unimelb.edu.au/tobym

Research interests: Security, Program Verification

Contributions

FTfJP 2019	Committee Member in Program Committee within the FTfJP 2019-track Co-chair in Organizing Committee within the FTfJP 2019-track
CPP 2019	Committee Member in Program Committee within the CPP 2019-track
OCAP 2018	Committee Member in Program Committee within the OCAP 2018-track
OCAP 2017	Committee Member in Program Committee within the OCAP 2017-track
FTfJP 2016	Author of Permission and Authority Revisited: Towards a Formalization within the FTfJP-track
IWACO 2016	Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
ICFP 2016	Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
PLAS 2015	Committee Member in Program Committee within the PLAS-track Author of Short Paper: On High-Assurance Information-Flow-Secure Programming Languages within the PLAS-track