20 citations · 66 across the 15 of their papers we have counts for
4 papers · 1 filter
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs
Robert Sison, Toby Murray
Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the com…
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…