Concepedia

Toby Murray

TM

32

Publications

1.3K

Citations

18

H-Index

2007

Active since

Affiliations

Data61(Current)

The University of Melbourne

Commonwealth Scientific and Industrial Research Organisation

Defence Science and Technology Group

Toby Murray is an author at Data61 specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisData SecuritySystem SoftwareInformation Security

Publications per year

2007–2024

32

Publications

32

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 329 citations

Engineering, Hardware Verification Language, Verification +17

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

Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 202 citations · Full text

Engineering, Information Security, Verification +24

David Cock, Qian Ge, Toby Murray et al. · 2014 · 74 citations

Hardware Security, Modern Microarchitectures, Engineering +13

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby Murray, Robert Sison, Edward Pierzchalski et al. · 2016 · 50 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–5 of 32