Toby Murray
3 papers in the PaperMetrix corpus
Papers by this author
-
SECCSL: Security concurrent separation logic
2019 · Lecture notes in computer science
© The Author(s) 2019. We present SecCSL, a concurrent separation logic for proving expressive, data-dependent information flow security properties of low-level programs. SecCSL is considerably more expressive, while being simpler, than recent compositional information flow …
-
An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More.
2020 · arXiv (Cornell University)
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. Yet there exist many over-approximate relational logics for reasoning about pairs …
-
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget
2024 · arXiv (Cornell University)
Current implementations of differentially-private (DP) systems either lack support to track the global privacy budget consumed on a dataset, or fail to faithfully maintain the state continuity of this budget. We show that failure to …