4 citations · 6 across the 4 of their papers we have counts for
6 papers
An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More
Toby Murray
Recently, authors have proposed under-approximate logics for reasoning about programs. So far, all such logics have been confined to reasoning about individual program behaviours.…
Legion: Best-First Concolic Testing
Dongge Liu, Gidon Ernst, Toby Murray +1
Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address this research problem,…
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices)
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
Methods for proving that concurrent software does not leak its secrets has remained an active topic of research for at least the past four decades. Despite an impressive array of w…
Empirically Analyzing Ethereum's Gas Mechanism
Renlord Yang, Toby Murray, Paul Rimba +1
Ethereum's Gas mechanism attempts to set transaction fees in accordance with the computational cost of transaction execution: a cost borne by default by every node on the network t…
Can We Prove Time Protection?
Gernot Heiser, Gerwin Klein, Toby Murray
Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, i…
VST-Flow: Fine-grained low-level reasoning about real-world C code
Samuel Gruetter, Toby Murray
We show how support for information-flow security proofs could be added on top of the Verified Software Toolchain (VST). We discuss several attempts to define information flow secu…