Team for Research in
Ubiquitous Secure Technology

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

• 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 Gamble on 7 May 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.