ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Toby Murray

Registered user since Wed 15 Jun 2016

Name: Toby Murray

Bio: Toby’s current research focuses, among other things, on the formal verification of security properties of microkernel-based systems in the context of the seL4 kernel, and on how to dramatically reduce the cost of producing verified systems code, like file systems, by leveraging domain-specific languages and automated and interactive verification.

Affiliation: NICTA and UNSW

Personal website: http://www.cse.unsw.edu.au/~tobym/

Contributions

PLAS 2015Committee Member in Program Committee within the PLAS-track
Author of Short Paper: On High-Assurance Information-Flow-Secure Programming Languages within the PLAS-track
Show activities from other conferences

ECOOP 2015-profile
View general profile