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
Verification Framework
biblio
Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models
Submitted by aekwall on Mon, 09/28/2020 - 12:34pm
test case generation
black-box security testing
combinatorial testing
combinatorial testing methodology
locally optimized attack models
modelling approach
modelling scheme
security testing
security testing tool
Black box testing
test oracle
Verification Framework
web applications
XSS attack vectors
XSS detection
XSSInjector
Cross Site Scripting
security of data
cross-site scripting vulnerabilities
JavaScript
XSS
formal verification
application security
Web application
program testing
Grammar
cross-site scripting
tools
internet
pubcrawl
Human behavior
Resiliency
Scalability
biblio
Robust Functional Verification Framework Based in UVM Applied to an AES Encryption Module
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
Measurement
Verification Framework
UVM
Universal Verification Methodology
System Verilog-based functional verification
standards
scalable verification
Scalability
robust functional verification framework
Resiliency
resilience
Reliability engineering
pubcrawl
Metrics
AES encryption module
information-security applications
Industries
high-level designs
hardware description languages
functional verification
formal verification
encryption
direct verification methodologies
digital design industry
design requirements
Cryptography
Compositionality
