12 citations · 25 across the 9 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020
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.…
cs.LO2020★ 2 cited
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…