Team for Research in
Ubiquitous Secure Technology

Verifying the Safety of User Pointer Dereferences.
Suhabe Bugrara, Alex Aiken

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

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 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.