A Logic for Information Security

Grant number: N62909-18-1-2049 | Funding period: 2017 - 2020

Completed

Related publications (1)

Scholarly works icon

SECCSL: Security concurrent separation logic

G Ernst, T Murray

2019-01-01

© The Author(s) 2019. We present SecCSL, a concurrent separation logic for proving expressive, data-dependent information flow sec..

University of Melbourne Researchers

Toby Murray Computing and Information Systems