@inproceedings{Ernst_Murray_19,
    author           = {Gidon Ernst and Toby Murray},
    booktitle        = { International Conference on Computer Aided Verification},
    month            = jul,
    pages            = {208--230},
    paperurl         = {https://trustworthy.systems/publications/papers/Ernst_Murray_19.pdf},
    publisher        = {Springer},
    title            = {{SecCSL}: Security Concurrent Separation Logic},
    year             = {2019}
  }