CurryOn 2016
Mon 18 - Tue 19 July 2016 Rome, Italy
co-located with ECOOP 2016
Toby Murray

Registered user since Wed 15 Jun 2016

Name:Toby Murray
Affiliation:University of Melbourne
Research interests:Security, Program Verification


FTfJP 2016 Permission and Authority Revisited: Towards a Formalization
IWACO 2016 Abstract Data Types in Object-Capability Systems
Show activities from other conferences

ECOOP 2016-profile
View general profile