T

Toby Murray

The University of Melbourne

ORCID: 0000-0002-8271-0289

141 papers and 1.8k citations.

PubIndex Score15Top 85% · seniorHow it's scored

141Publications

1.8kTotal Citations

First publication: 2007First senior author: 2008

Top publicationsby citations

seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray, Gerwin Klein|Unknown|2013

Cited by 204

Indexing the rest of 141 publications…