Toby Murray

35 papers and 343 indexed citations i.

Toby Murray has authored 35 papers that have received a total of 343 indexed citations. This includes 32 papers in Artificial Intelligence, 13 papers in Signal Processing and 12 papers in Information Systems. The topics of these papers are Security and Verification in Computing (27 papers), Advanced Malware Detection Techniques (13 papers) and Logic, programming, and type systems (10 papers). Toby Murray is often cited by papers focused on Security and Verification in Computing (27 papers), Advanced Malware Detection Techniques (13 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Australia, Germany and United Kingdom. Toby Murray's co-authors include Gerwin Klein, June Andronick, Gernot Heiser, Daniel Matichuk and Mark Staples and has published in prestigious journals such as Communications of the ACM, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and Lecture notes in computer science