Symbolic Execution for Vulnerability Discovery.

Webb, Matt; Ballo, Tiemoko

Title: Symbolic Execution for Vulnerability Discovery.

Full Record
Other Related Research

Abstract

Abstract not provided.

Authors:: Webb, Matt; Ballo, Tiemoko

Publication Date:: 2017-07-01

Research Org.:: Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

Sponsoring Org.:: USDOE National Nuclear Security Administration (NNSA)

OSTI Identifier:: 1508237

Report Number(s):: SAND2017-7655C
655532

DOE Contract Number:: AC04-94AL85000

Resource Type:: Conference

Resource Relation:: Conference: Proposed for presentation at the Sandia SIP Symposium held July 26, 2017 in Albuquerque, NM.

Country of Publication:: United States

Language:: English

Citation Formats


                    Webb, Matt, and Ballo, Tiemoko. Symbolic Execution for Vulnerability Discovery..  United States: N. p., 2017. 
        Web.

Copy to clipboard


                    Webb, Matt, & Ballo, Tiemoko. Symbolic Execution for Vulnerability Discovery..  United States.

Copy to clipboard


                    Webb, Matt, and Ballo, Tiemoko. 2017.  
        "Symbolic Execution for Vulnerability Discovery.".  United States.  https://www.osti.gov/servlets/purl/1508237.

Copy to clipboard


                    
@article{osti_1508237,

  title        = {Symbolic Execution for Vulnerability Discovery.},

  author       = {Webb, Matt and Ballo, Tiemoko},

  abstractNote = {Abstract not provided.},

  doi          = {},

  url          = {https://www.osti.gov/biblio/1508237},
  journal      = {},
number       = ,

  volume       = ,

  place        = {United States},

  year         = {2017},

  month        = {7}

}

Copy to clipboard

Conference:

View Conference (1.07 MB)

Other availability

Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.