Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

attack synthesis

biblio

Visible to the public Symbolic Execution for Attribution and Attack Synthesis in Neural Networks

Submitted by grigby1 on Fri, 08/28/2020 - 12:22pm
  • DNN validation
  • Symbolic Execution
  • pubcrawl
  • program analysis
  • neural nets
  • Metrics
  • Importance Analysis
  • Image resolution
  • image classification
  • Human behavior
  • adversarial attacks
  • DNN
  • DeepCheck lightweight symbolic analysis
  • deep neural networks
  • core ideas
  • composability
  • attribution
  • attack synthesis
  • adversarial generation

Terms of Use  |  ©2023. CPS-VO