Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's Wagner [7 articles]

Recent papers posted to srccheck's library by the author Wagner. You can also see everyone's Wagner.
  • Finding user/kernel pointer bugs with type inference
    (2004), pp. 9-9.
    by Rob Johnson, David Wagner
    posted to annotations cqual defect_search linux by srccheck on 2008-05-08 13:54:57 as **
  • Detecting format string vulnerabilities with type qualifiers
    (2001), pp. 16-16.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to annotations cqual extended_types format_string tools by srccheck on 2008-04-02 14:18:10 as ** along with 1 person olesya
  • A First Step towards Automated Detection of Buffer Overrun Vulnerabilities
    (February 2000), pp. 3-17.
    by David Wagner, Jeffrey S Foster, Eric A Brewer, Alexander Aiken
    posted to boon buffer_overflow constraint_analysis ndss00 tools by srccheck on 2008-02-08 11:46:21 as read along with 3 people martink roylee zuleger
  • Model checking one million lines of C code
    (2004)
    by H Chen, D Dean, D Wagner
    posted to mops ndss04 search_report tocttou by srccheck on 2008-02-06 14:35:01 as read
  • Large-scale analysis of format string vulnerabilities in Debian Linux
    (2007), pp. 75-84.
    by Karl Chen, David Wagner
    posted to oink pldi07 search_report tools by srccheck on 2008-02-06 14:28:52 as *** along with 1 person torens
  • Model Checking An Entire Linux Distribution for Security Violations
    (2005), pp. 13-22.
    by Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West
    posted to acsac05 mops search_report tocttou by srccheck on 2008-02-06 13:17:31 as read along with 2 people olesya heiko_reese
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to ccs02 defect_search model_checking mops tocttou by srccheck on 2008-02-06 12:58:32 as read along with 2 people and 1 group rdyer shimomura Laboratory for Software Design
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/author/Wagner

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.