Observational Determinism for Concurrent Program Security

Steve Zdancewic, Andrew C. Myers. Observational Determinism for Concurrent Program Security. In 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA. pages 29, IEEE Computer Society, 2003. [doi]

@inproceedings{ZdancewicM03,
  title = {Observational Determinism for Concurrent Program Security},
  author = {Steve Zdancewic and Andrew C. Myers},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270029abs.htm},
  tags = {C++, security},
  researchr = {https://researchr.org/publication/ZdancewicM03},
  cites = {0},
  citedby = {0},
  pages = {29},
  booktitle = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1927-X},
}