• Find an Expert
  • Search iconSearch
  • Menu
  • Help
  • Report an issue

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's Profile Picture
Toby Murray Computing and Information Systems

We acknowledge and pay respect to the Traditional Owners of the lands upon which our campuses are situated

Read about our commitment to reconciliation  ›

About us  

›

Careers at Melbourne  

›

Safety and respect  

›

Newsroom  

›

Contact  

›

Phone: 13 MELB ( 13 6352)

International: +61 3 9035 5511


Address:
The University of Melbourne
Grattan Street, Parkville,
Victoria, 3010, Australia


View all Campus locations  ›
facebookIcontwitterIconlinkedinIconinstagramIcon

Emergency information  |  Disclaimer and copyright  |  Accessibility  |  Privacy  |  VaxFACTS

CRICOS number: 00116K     ABN: 84 002 705 224