Citation
Suhabe Bugrara, Alex Aiken. "Verifying the Safety of User Pointer Dereferences.". IEEE Symposium on Security and Privacy, May, 2008.

Abstract
(No abstract.)

Electronic downloads

• http://theory.stanford.edu/%7Eaiken/publications/papers/oakland08.pdf

Citation formats

• HTML

  Suhabe Bugrara, Alex Aiken. <a
  href="http://www.truststc.org/pubs/400.html">Verifying
  the Safety of User Pointer Dereferences.</a>, IEEE
  Symposium on Security and Privacy, May, 2008.

• Plain text

  Suhabe Bugrara, Alex Aiken. "Verifying the Safety of User
  Pointer Dereferences.". IEEE Symposium on Security and
  Privacy, May, 2008.

• BibTeX

  @inproceedings{BugraraAiken08_VerifyingSafetyOfUserPointerDereferences,
      author = {Suhabe Bugrara and Alex Aiken},
      title = {Verifying the Safety of User Pointer Dereferences.},
      booktitle = {IEEE Symposium on Security and Privacy},
      month = {May},
      year = {2008},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/400.html}
  }
  

Posted by Jessica Archuleta-Gamble on 7 May 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.