The Meaning of Memory Safety (bibtex)
by Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
Reference:
The Meaning of Memory Safety (Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce), In 7th International Conference on Principles of Security and Trust (POST), 2018.
Bibtex Entry:
@inproceedings{memory-safety,
  author = {Arthur {Azevedo de Amorim} and
            Catalin Hritcu and
            Benjamin C. Pierce},
  title = {The Meaning of Memory Safety},
  booktitle = {7th International Conference on
               Principles of Security and Trust ({POST})},
  pages     = {79--105},
  doi       = {10.1007/978-3-319-89722-6\_4},
  url = {https://arxiv.org/abs/1705.07354},
  year = {2018},
  month = apr,
}
Powered by bibtexbrowser