ECOOP 2016 (series) / Toby Murray

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
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
View general profile