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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
automatic attack generation
biblio
Relating the Empirical Foundations of Attack Generation and Vulnerability Discovery
Submitted by aekwall on Thu, 04/08/2021 - 4:34pm
Payloads
vulnerability discovery
information foraging
automatic exploit generation
automatic attack generation
antivirus tool
Information Reuse and Security
security testing
security auditing
Trojan detection
Compositionality
anti-virus
security
computer viruses
Trojan horses
Data mining
Analytical models
program testing
tools
software security
pubcrawl
Resiliency
Data models
malware detection
file
Process Model-Based Continuous Improvement of Election Process Quality and Robustness
Submitted by Katie Dey on Mon, 11/12/2012 - 11:11am. Contributor:
Leon Osterweil
ABSTRACT
SaTC Posters
automatic attack generation
continuous election process improvement
rigorous process definition and analysis
University of Massachusetts Amherst
0905530
SaTC PI Meeting 2012
Academia
Poster
