Bibliography

• A Language-Based Approach to Security
  Schneider, Fred B. and Morrisett, J. Gregory and Harper, Robert

  In Informatics - 10 Years Back. 10 Years Ahead. 2001
  @inproceedings{10.5555/647348.724331,
   address = {Berlin, Heidelberg},
   author = {Schneider, Fred B. and Morrisett, J. Gregory and Harper, Robert},
   booktitle = {Informatics - 10 Years Back. 10 Years Ahead.},
   isbn = {3540416358},
   numpages = {16},
   pages = {86-101},
   publisher = {Springer-Verlag},
   title = {A Language-Based Approach to Security},
   url = {https://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf},
   year = {2001}
  }
  

  Copy
• The protection of information in computer systems
  Saltzer, J.H. and Schroeder, M.D.

  In Proceedings of the IEEE 1975
  @article{1451869,
   author = {Saltzer, J.H. and Schroeder, M.D.},
   doi = {10.1109/PROC.1975.9939},
   journal = {Proceedings of the IEEE},
   keywords = {Protection;Authorization;Permission;Access control;Terminology;Data security;Information security;Computer architecture;Modems},
   number = {9},
   pages = {1278-1308},
   title = {The protection of information in computer systems},
   url = {https://www.cs.virginia.edu/~evans/cs551/saltzer/},
   volume = {63},
   year = {1975}
  }
  

  Copy
• A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
  Li, Wei and He, Dongjie and Gui, Yujiang and Chen, Wenguang and Xue, Jingling

  In Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction 2024
  @inproceedings{10.1145/3640537.3641574,
   address = {New York, NY, USA},
   author = {Li, Wei and He, Dongjie and Gui, Yujiang and Chen, Wenguang and Xue, Jingling},
   booktitle = {Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction},
   doi = {10.1145/3640537.3641574},
   isbn = {9798400705076},
   keywords = {Call Graph Construction, Pointer Analysis, Rust},
   location = {Edinburgh, United Kingdom},
   numpages = {13},
   pages = {60–72},
   publisher = {Association for Computing Machinery},
   series = {CC 2024},
   title = {A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction},
   url = {https://doi.org/10.1145/3640537.3641574},
   year = {2024}
  }
  

  Copy
• Fat Pointers for Temporal Memory Safety of C
  Zhou, Jie and Criswell, John and Hicks, Michael

  In Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1 2023
  @inproceedings{CheckedCTemporal:OOPSLA23,
   address = {New York, NY, USA},
   articleno = {86},
   author = {Zhou, Jie and Criswell, John and Hicks, Michael},
   booktitle = {Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1},
   conf = {ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications},
   doi = {10.1145/3586038},
   issue_date = {April 2023},
   keywords = {Fat Pointers, Checked C, Temporal Memory Safety},
   location = {Cascais, Portugal},
   number = {OOPSLA1},
   numpages = {32},
   publisher = {Association for Computing Machinery},
   title = {Fat Pointers for Temporal Memory Safety of C},
   url = {https://jiezhoucs.github.io/assets/paper/OOPSLA2023-CheckedC.pdf},
   volume = {7},
   year = {2023}
  }
  

  Copy
• Secure by Design: Google's Perspective on Memory Safety
  Alex Rebert and Christoph Kern

  In Unknown 2024
  @techreport{53121,
   author = {Alex Rebert and Christoph Kern},
   institution = {Google Security Engineering},
   title = {Secure by Design: Google's Perspective on Memory Safety},
   year = {2024}
  }
  

  Copy
• Everything You Want to Know About Pointer-Based Checking
  Nagarakatte, Santosh and Martin, Milo M. K. and Zdancewic, Steve

  In 1st Summit on Advances in Programming Languages (SNAPL 2015) 2015
  @inproceedings{nagarakatte_et_al:LIPIcs.SNAPL.2015.190,
   address = {Dagstuhl, Germany},
   annote = {Keywords: Memory safety, Buffer overflows, Dangling pointers, Pointer-based checking, SoftBoundCETS},
   author = {Nagarakatte, Santosh and Martin, Milo M. K. and Zdancewic, Steve},
   booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
   doi = {10.4230/LIPIcs.SNAPL.2015.190},
   editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
   isbn = {978-3-939897-80-4},
   issn = {1868-8969},
   pages = {190--208},
   publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
   series = {Leibniz International Proceedings in Informatics (LIPIcs)},
   title = {Everything You Want to Know About Pointer-Based Checking},
   url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.190},
   urn = {urn:nbn:de:0030-drops-50268},
   volume = {32},
   year = {2015}
  }
  

  Copy
• SoK: Eternal War in Memory
  Szekeres, Laszlo and Payer, Mathias and Wei, Tao and Song, Dawn

  In Proceedings of the 2013 IEEE Symposium on Security and Privacy 2013
  @inproceedings{10.1109/SP.2013.13,
   address = {USA},
   author = {Szekeres, Laszlo and Payer, Mathias and Wei, Tao and Song, Dawn},
   booktitle = {Proceedings of the 2013 IEEE Symposium on Security and Privacy},
   doi = {10.1109/SP.2013.13},
   isbn = {9780769549774},
   numpages = {15},
   pages = {48–62},
   publisher = {IEEE Computer Society},
   series = {SP '13},
   title = {SoK: Eternal War in Memory},
   url = {https://doi.org/10.1109/SP.2013.13},
   year = {2013}
  }
  

  Copy