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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
program testing
biblio
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Submitted by
aekwall
on Mon, 06/24/2019 - 2:46pm
assertion recommendation
formal program verifcation
Hardware
Human behavior
Metrics
pattern matching
policy-based governance
program testing
program weakness
pubcrawl
Resiliency
security
security weaknesses
Software
Syntactics
testing
tools
biblio
Research of Industrial Control System Device Firmware Vulnerability Mining Technology Based on Taint Analysis
Submitted by
grigby1
on Thu, 05/09/2019 - 10:46am
security
security of data
Software
resilience
pubcrawl
Resiliency
Scalability
Hardware
integrated circuits
taint analysis
Data mining
program testing
component
Industrial Control Systems
industrial control
industrial control system
scalable
device firmware
firmware
fuzzing test
industrial control system device firmware vulnerability mining technology
Microprogramming
taint analysis technology
test efficiency
vulnerability mining
biblio
FP -TESTER : Automated Testing of Browser Fingerprint Resilience
Submitted by
grigby1
on Fri, 04/05/2019 - 10:27am
privacy
internet
data privacy
security of data
testing
resilience
pubcrawl
Human behavior
Metrics
Browsers
Entropy
online front-ends
Browser Fingerprinting
Fingerprint recognition
Browser Security
Compositionality
program testing
Sociology
Statistics
Resiliency
Automated Testing
browser fingerprint resilience
browser tracking
browser vendors
FP-TESTER
privacy leaks
software tools
testing toolkit
biblio
Vulnerability Analysis of Content Management Systems to SQL Injection Using SQLMAP
Submitted by
aekwall
on Mon, 02/25/2019 - 11:39am
data confidentiality
data integrity
Resiliency
Human behavior
pubcrawl
privacy
Metrics
SQL injection
Computer crime
Databases
internet
SQL
tools
web applications
Computer hacking
Web sites
content management
content management systems
Cybersecurity
Data protection
Drupal website pages
Joomla website pages
LAMP server
Nikto
Penetration Testing
program testing
security vulnerability
SQLI
SQLi vulnerabilities
SQLMAP
Vulnerability
Vulnerability Analysis
vulnerability scanner
Web application
websites
WordPress
policy-based-governance
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 11:20am
security
security of data
Software
tools
pubcrawl
Metrics
composability
taint analysis
program debugging
program testing
Libraries
fuzzing
program diagnostics
bug finding
code paths
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing transformed programs
input checks
input mutation techniques
program analysis
program transformation
program verification
randomly generated inputs
software bugs
symbolic execution-based approach
t-fuzz approach
biblio
Vulnerability Detection on Mobile Applications Using State Machine Inference
Submitted by
grigby1
on Mon, 01/21/2019 - 12:15pm
Android (operating system)
Androids
Compositionality
finite state machines
Human behavior
Humanoid robots
Inference algorithms
learning (artificial intelligence)
machine learning
Metrics
mobile Android applications
Mobile Application
mobile application security
Mobile Applications
mobile computing
model inference
program testing
pubcrawl
Resiliency
security
security of data
security violations
state machine inference
state machine learning
testing
testing methodology
vulnerability detection
biblio
Development of a suite of IPv6 vulnerability scanning tests using the TTCN-3 language
Submitted by
grigby1
on Mon, 01/21/2019 - 12:15pm
internet
security of data
testing
pubcrawl
Human behavior
Metrics
Resiliency
Protocols
telecommunication security
Linux
transport protocols
IP networks
Prototypes
Computer crime
vulnerability assessment
Compositionality
Vulnerability Management
Address autoconfiguration
application security
attacks simulation
denial of service
denial-of-service attack detection
Device Security
dual-stack networks
Duplicate Address Detection
Formal Specification
ICMPv6 Protocol
IPv4 IPv6 protocol
IPv6
IPv6 networks
IPv6 vulnerability scanning tests
network communications
passive analysis
program testing
specification languages
telecommunication computing
test extensibility
test maintainability
test specification language
Testing and Test Control Notation version 3
TTCN-3
TTCN-3 language
vulnerability scanning
vulnerability detection
biblio
Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks
Submitted by
grigby1
on Thu, 06/07/2018 - 3:13pm
Automated Testing
collaboration
combinatorial mathematics
combinatorial optimisation problem
Decision trees
filter rules
firewalls
Firewalls (computing)
genetic algorithms
Human behavior
internet
learning (artificial intelligence)
legitimate requests
machine learning
multiobjective genetic algorithms
Policy
policy-based governance
Policy-Governed Secure Collaboration
privacy
program testing
pubcrawl
Regular Expression Inference
Resiliency
search problems
software maintenance
SQL
SQL injection
SQL Injection attacks
testing
vulnerabilities detection
vulnerable WAFs
WAF rule set
web application firewalls
Web application firewalls repair
web security
biblio
Testing Techniques and Analysis of SQL Injection Attacks
Submitted by
grigby1
on Thu, 05/24/2018 - 12:08pm
attack
attackers
Cogeneration
commonly used Web application attacks
composability
Data protection
database-driven Web applications
DH-HEMTs
different security systems
effective data protection systems
good target
governmental organizations
handy interface
Human behavior
integrated circuits
internet
Knowledge engineering
Metrics
penetration testing technique
program testing
proper data protection
pubcrawl
relational database security
relational databases
resilience
Resiliency
security of data
security systems
security testing
sensitive data
sensitive information
SQL
SQL injection
SQL Injection attacks
SQL injection problems
SQL Injection vulnerability
SQL query
testing techniques
three-tier-architecture
traditional security policies
user interfaces
users
Web application vulnerabilities
web applications
Web sites
website
biblio
S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing
Submitted by
K_Hooper
on Wed, 04/04/2018 - 9:58am
Binary Analysis
Compositionality
Computer bugs
Explosions
fuzzing
Fuzz Testing
fuzzy set theory
hard-to-reach vulnerabilities
Human behavior
low frequency input
Metrics
path explosion
program testing
Prototypes
pubcrawl
Resiliency
semisymbolic fuzz testing
software tools
Software Vulnerability
Symbolic Execution
test case generation
tools
vulnerability detection
vulnerability detection tools
1
2
3
next ›
last »
