Toby Murray - ECOOP 2016

Sun 17 - Fri 22 July 2016 Rome, Italy

Registered user since Wed 15 Jun 2016

Name:Toby Murray

Country:Australia

Affiliation:University of Melbourne

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

Research interests:Security, Program Verification

Contributions

2016

FTfJP

Permission and Authority Revisited: Towards a Formalization

IWACO

Abstract Data Types in Object-Capability Systems

Show activities from other conferences

ECOOP 2016-profile
View general profile