Toby Murray

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A generalised union of rely-guarantee and separation logic using permission algebras	2026-02-10	Paper
Value-dependent information-flow security on weak memory models	2024-03-14	Paper
\textsc{SecCSL}: security concurrent separation logic Computer Aided Verification	2024-02-16	Paper
scientific article; zbMATH DE number 7649976 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
Cogent: uniqueness types and certifying compilation Journal of Functional Programming	2021-12-27	Paper
Verified secure compilation for mixed-sensitivity concurrent programs Journal of Functional Programming	2021-09-24	Paper
Refinement through restraint: bringing down the cost of verification Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
A framework for the automatic formal verification of refinement from \textsc{Cogent} to C Interactive Theorem Proving	2016-10-27	Paper
Eisbach: a proof method language for Isabelle Journal of Automated Reasoning	2016-05-26	Paper
On refinement-closed security properties and nondeterministic compositions Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
An Isabelle proof method language Interactive Theorem Proving	2014-09-08	Paper
Noninterference for operating system kernels Certified Programs and Proofs	2013-04-19	Paper
On the limits of refinement-testing for model-checking CSP Formal Aspects of Computing	2013-03-22	Paper
seL4 enforces integrity Interactive Theorem Proving	2011-08-17	Paper

Research outcomes over time

This page was built for person: Toby Murray