Author Info
Name
Affiliation
Papers
TOBY C. MURRAY
Def Sci & Technol Org, Edinburgh, SA 5111, Australia
8
Collaborators
Citations 
PageRank 
20
35
3.71
Referers 
Referees 
References 
79
228
103
Search Limit
100228
Title
Citations
PageRank
Year
Formally verified software in the real world.40.432018
BP: Formal Proofs, the Fine Print and Side Effects10.342018
Abstract and Concrete Data Types vs Object Capabilities.00.342018
Productivity for proof engineering30.402014
On Refinement-Closed Security Properties and Nondeterministic Compositions60.542009
Analysing the information flow properties of object-capability patterns60.642009
Non-delegatable authorities in capability systems50.462008
An Overview of the Annex System100.562007