Toby Murray

Available identifiers

Publication	Date of Publication	Type
Value-dependent information-flow security on weak memory models	2024-03-14	Paper
\textsc{SecCSL}: security concurrent separation logic	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5875439	2023-02-03	Paper
Cogent: uniqueness types and certifying compilation	2021-12-27	Paper
Verified secure compilation for mixed-sensitivity concurrent programs	2021-09-24	Paper
Refinement through restraint: bringing down the cost of verification	2017-05-10	Paper
A framework for the automatic formal verification of refinement from \textsc{Cogent} to C	2016-10-27	Paper
Eisbach: a proof method language for Isabelle	2016-05-26	Paper
On refinement-closed security properties and nondeterministic compositions	2015-03-18	Paper
An Isabelle proof method language	2014-09-08	Paper
Noninterference for operating system kernels	2013-04-19	Paper
On the limits of refinement-testing for model-checking CSP	2013-03-22	Paper
seL4 enforces integrity	2011-08-17	Paper

This page was built for person: Toby Murray