Skip to main content

Verifying that a compiler preserves concurrent value-dependent information-flow security

Authors

Robert Sison and Toby Murray

DATA61

UNSW Sydney

University of Melbourne

Abstract

BibTeX Entry

  @inproceedings{Sison_Murray_19,
    publisher        = {Schloss Dagstuhl},
    booktitle        = {International Conference on Interactive Theorem Proving},
    author           = {Sison, Robert and Murray, Toby},
    month            = sep,
    year             = {2019},
    date             = {2019-9-6},
    title            = {Verifying that a compiler preserves concurrent value-dependent information-flow security},
    pages            = {5:1-5:19},
    address          = {Portland, USA}
  }

Download