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
security vulnerabilities
biblio
An Approach for Trustworthiness Benchmarking Using Software Metrics
Submitted by
aekwall
on Mon, 07/01/2019 - 10:12am
Benchmark testing
Buildings
Metrics
Mozilla Firefox project
pubcrawl
security
security attributes
Security Metrics
security of data
security vulnerabilities
software metrics
software quality
software security experts
Software systems
Trusted Computing
trustworthiness assessment model
trustworthiness benchmarking
biblio
Detection of protection-impacting changes during software evolution
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
Access Control
application security
authorisation
Automated Secure Software Engineering
composability
Image edge detection
maintenance engineering
Mathematical model
negative security changes
protection-impacting changes
pubcrawl
RBAC security
Resiliency
Role Based Access Control
role-based access control
Security Impact of Changes
security regression
security vulnerabilities
Software
software evolution
software maintenance
source code (software)
source code changes
static analysis
web applications
WordPress
biblio
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions
Submitted by
grigby1
on Fri, 02/22/2019 - 4:11pm
applications code
C/C++ systems code
composability
Conferences
Databases
Human behavior
Java
Java EE
low false positives
PL/SQL server stack
program diagnostics
pubcrawl
relational databases
Resiliency
scalable static analysis
security
security of data
security vulnerabilities
SQL
static analysis
Static Analysis Tool
static code analysis
tools
Trademarks
biblio
Leveraging Historical Versions of Android Apps for Efficient and Precise Taint Analysis
Submitted by
grigby1
on Thu, 02/14/2019 - 11:19am
security
tools
Open Source Software
pubcrawl
Metrics
composability
Benchmark testing
invasive software
taint analysis
android
Android (operating system)
attacks
Google
mobile computing
reachability analysis
analysis effectiveness
Android devices
Android ecosystem
differencing
Evolution
EVOTAINT
historical versions
incremental
incremental taint analysis
real-world evolving Android apps
representative precise taint analysis
security vulnerabilities
simultaneous scalability
taint checking
user apps
biblio
A Study of Security Vulnerabilities on Docker Hub
Submitted by
grigby1
on Mon, 06/11/2018 - 3:20pm
pubcrawl
Resiliency
security vulnerabilities
composability
resilience
Metrics
Docker Images
Vulnerability Propagation
Networked Control Systems Security
biblio
A Security Audit of the OpenPGP Format
Submitted by
K_Hooper
on Wed, 05/09/2018 - 10:56am
authenticated package distributions
authorisation
computer security
context-free grammars
context-free languages
deterministic context free grammar
deterministic context free language
Electronic mail
email authenticity
email confidentiality
Formal Specification
GNU Privacy Guard
GnuPG
Grammar
Human behavior
language theoretical analysis
Language-theoretic security
malicious input data
open source Unix systems
OpenPGP
OpenPGP format
OpenPGP format specification
OpenPGP implementations
pattern classification
PGP
Production
Protocols
pubcrawl
public domain software
Public key
Resiliency
Scalability
security audit
Security Audits
security vulnerabilities
Symantec PGP
Unix
biblio
Correlation Analysis among Java Nano-Patterns and Software Vulnerabilities
Submitted by
grigby1
on Mon, 03/05/2018 - 1:08pm
arrays
coding theory
Complexity theory
Compositionality
Cryptography
Java
Measurement
Metrics
nano-patterns
pubcrawl
resilience
Resiliency
security
security vulnerabilities
Software
Software patterns
static analysis
testing
biblio
Software Metrics as Indicators of Security Vulnerabilities
Submitted by
grigby1
on Mon, 03/05/2018 - 1:08pm
coding theory
Complexity theory
Compositionality
Correlation
correlation coefficients
Cryptography
Feature Selection
file levels
function levels
heuristic search technique
Metrics
nonvulnerable code
pubcrawl
resilience
Resiliency
search problems
security
security of data
security vulnerabilities
software architectural characteristics
Software Architecture
software metrics
software operational phase
software quality
software security vulnerabilities
Software systems
vulnerable software units
biblio
Hardware malicious circuit identification using self referencing approach
Submitted by
grigby1
on Wed, 02/21/2018 - 1:41pm
composability
Cryptography
delays
Hardware
hardware malicious circuit identification
hardware Trojan detection sensitivity
invasive software
leakage power
logic testing
malicious inclusions
Metrics
Microelectronic Security
outsourced products
Payloads
post-silicon testing
Power measurement
pubcrawl
resilience
Resiliency
Robust Trojans
security vulnerabilities
self referencing approach
Sequential trojan
sequential Trojans
side channel analysis
Temporal Self Referencing
Test vector generation
testing
Trojan horses
biblio
Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-Free Grammars
Submitted by
grigby1
on Thu, 02/15/2018 - 11:44am
arbitrary code execution
automated decoders
automated encoders
binary languages
communication language
context-free grammars
correct parsing
Cross Site Scripting
Cross Site Scripting (XSS)
cross-site scripting
custom language
data encoding
encoding
encoding generation
formal languages
Generators
Grammar
grammars
Human behavior
human factor
Human Factors
input based attack elimination
McHammerCoder
Nails
parsers
Protocols
pubcrawl
reliable systems
resilience
Resiliency
Scalability
secure systems
security of data
security vulnerabilities
Software systems
SQL
textual languages
unparsers
1
2
3
next ›
last »
