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