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
Vulnerability Analysis
biblio
Vulnerability-Based Impact Criticality Estimation for Industrial Control Systems
Submitted by grigby1 on Wed, 02/03/2021 - 12:55pm
Cyber Dependencies
Compositionality
Scalability
Human Factors
Resiliency
Metrics
attack probabilities
control engineering computing
control uncertainties
cyber environments
cyber security risks
cyber threats
Cybersecurity
distributed system
Functional Dependency
ICS networks
ICS security
impact estimation
industrial control
Industrial Control System (ICS)
Industrial Control Systems
MAVCA model
miniature ICS
proactive security response
probabilistic multiattribute vulnerability criticality analysis model
production engineering computing
pubcrawl
quantitative evaluation
quantitative security metrics
resilience
risk management
Security Criticality Analysis
Security Impact Analysis
security of data
security risk assessment scheme
Vulnerability Analysis
vulnerability host components
vulnerability severities
vulnerability-based impact criticality estimation
biblio
Vulnerability Analysis of AR.Drone 2.0, an Embedded Linux System
Submitted by aekwall on Mon, 10/26/2020 - 11:45am
security
computer network security
drones
Software
embedded systems
Linux
Resiliency
pubcrawl
composability
Metrics
tools
vulnerabilities
Vulnerability Analysis
public domain software
wireless LAN
Streaming media
Predictive Metrics
autonomous aerial vehicles
Weapons
software vulnerabilities
Linux operating system
2.0
AR
AR Drone 2.0
Busybox
CVE
Drone
embedded
embedded Linux system
open WiFi network
pairing mode
Parrot
SSH Tunnel
Linux Operating System Security
biblio
Trust Management in Underwater Acoustic MANETs based on Cloud Theory using Multi-Parameter Metrics
Submitted by grigby1 on Mon, 10/05/2020 - 2:11pm
802.11-based MANET
Access Control
Ad hoc networks
cloud model
communication metrics
computer theory
cyber security
harsh underwater environments
Human Factors
Identity management
Measurement
mobile ad hoc networks
mobile computing
multiparameter metrics
pubcrawl
resilience
Resiliency
Scalability
secure access
security
telecommunication security
terrestrial MANETs
threat identification
Trust Management Framework
trust model
uncertainty
underwater acoustic communication
underwater acoustic MANETs
Underwater Acoustic Mobile Ad-hoc Network
underwater acoustic Mobile Ad-hoc NETworks
Underwater acoustics
underwater environment
Unified modeling language
Vulnerability Analysis
biblio
ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things
Submitted by aekwall on Mon, 09/21/2020 - 3:35pm
security of data
Internet of Things
IoT devices
Internet of Things (IoT)
Resiliency
pubcrawl
graph theory
Protocols
Vulnerability Analysis
Decision Making
Intrusion Detection
firmware
IoT security
vulnerability detection
cyber security
security issues
IoT systems
attack graph
Internet-of-Things devices
model checking
network protocols
composability
catastrophic accidents
corresponding graph-based analysis
cross-layer formal framework
cross-layer vulnerability detection framework
design flaws
device firmware
ForeSee
high-level decision-making processes
IoT privacy
long sequence
low-level physical surroundings
Multiple layer
multiple layers
physical environment
potential attack paths
severe threats
system configurations
Cross Layer Security
biblio
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment
Submitted by grigby1 on Fri, 09/18/2020 - 2:15pm
hardware description languages
Hardware design languages
Cryptography
security solutions
security of data
security
pubcrawl
Metrics
resilience
Resiliency
Hardware
Integrated circuit modeling
integrated circuit testing
Scalability
Registers
integrated circuit design
formal verification
Measurement
Compositionality
uncertainty
Vulnerability Analysis
electronic engineering computing
data flow
design mistakes
design stage
formal verification methods
hardware designer
hardware overhead
hardware system
hardware vulnerabilities
language based framework
language-based approach
language-based hardware security verification
malicious logic detection
potential security vulnerabilities
pre-silicon security assessment
promising solution
QIF model
QIF-Verilog
quantified information flow model
quantitative information-flow
security rules
verification process
Verilog type systems
vulnerable logic detection
compiler security
biblio
Attacks and vulnerability analysis of e-mail as a password reset point
Submitted by grigby1 on Fri, 09/04/2020 - 3:24pm
authorisation
Protocols
internet
pubcrawl
collaboration
emails
Electronic mail
password
Security analysis
Human Factors
policy-based governance
Computer hacking
Brute-force Attack
e-mail servers
Email
middle attack
mobile devices
Mobile handsets
Password Reset
personal Email account
public knowledge attainable
security questions
self-service password reset point
Social engineering attack
social media
Vulnerability Analysis
brute force attacks
biblio
Big Data Security Issues and Natural Language Processing
Submitted by aekwall on Mon, 05/18/2020 - 10:54am
advanced persistent threat
Scalability
Big Data
Organizations
Conferences
malware
security
cyber security
information security
Resiliency
Human behavior
pubcrawl
Computer crime
Vulnerability Analysis
spam detection
cyber-attacks
natural language processing
data privacy
Information Assurance
Phishing
advanced persistent threat detection
big data security issues
cyber security issues
DNS
natural language processing technology
biblio
A dynamic defense-attack game scheme with incomplete information for vulnerability analysis in a cyber-physical power infrastructure
Submitted by grigby1 on Fri, 04/24/2020 - 4:38pm
pubcrawl
resilience
Resiliency
composability
Metrics
cyber-physical power systems
GAME THEORY CYBER-PHYSICAL ATTACKS
particle swarm optimization
Vulnerability Analysis
Power Grid Vulnerability Assessment
biblio
Vulnerability Analysis of Smart Grid under Community Attack Style
Submitted by grigby1 on Fri, 04/24/2020 - 4:37pm
pubcrawl
resilience
Resiliency
Generators
Smart Grid
smart power grids
composability
Load modeling
Smart Grids
power system control
network topology
Metrics
failure analysis
cascading failure
cascading failure process
community attack style
Community theory
controllable power nodes
cyber network
England 39 nodes system
information network
Linear programming
linear programming problem
minimum load reduction model
MLRM
Power cables
Power Grid
power lines
power system faults
Power system protection
Vulnerability Analysis
Power Grid Vulnerability Assessment
file
Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on Fri, 04/10/2020 - 10:19am. Contributors:
Atul Prakash
Darko Marinov
Physical perturbation attacks
adversarial testing
Vulnerability Analysis
secure ML
permission models
Lightning Talks
1646305
1646392
CPS PI Meeting 2019
Lightning Talks
Presentation
1
2
3
4
next ›
last »
