@misc{CommCSL,
  doi = {10.48550/ARXIV.2211.08459},
  url = {https://arxiv.org/abs/2211.08459},
  author = {Eilers, Marco and Dardinier, Thibault and Müller, Peter},
  keywords = {Cryptography and Security (cs.CR), Programming Languages (cs.PL), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {{CommCSL}: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity},
  publisher = {arXiv},
  year = {2022},
  copyright = {arXiv.org perpetual, non-exclusive license}
}

@inproceedings{cslsound,
  author    = {Viktor Vafeiadis},
  editor    = {Michael W. Mislove and
               Jo{\"{e}}l Ouaknine},
  title     = {Concurrent Separation Logic and Operational Semantics},
  booktitle = {Twenty-seventh Conference on the Mathematical Foundations of Programming
               Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {276},
  pages     = {335--351},
  publisher = {Elsevier},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.09.029},
  doi       = {10.1016/j.entcs.2011.09.029},
  timestamp = {Mon, 08 Feb 2021 13:26:27 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Vafeiadis11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
