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
SCADA systems
biblio
Toward an Intrusion-Tolerant Power Grid: Challenges and Opportunities
Submitted by
aekwall
on Mon, 07/27/2020 - 12:12pm
security of data
Cloud Computing
security
SCADA
SCADA systems
Resiliency
pubcrawl
composability
open source
power grids
power engineering computing
resilience
cyberattacks
Open Source Software
commercial cloud systems
intrusion tolerance
intrusion-tolerant cloud technologies
intrusion-tolerant power grid
Power Grid
power grid control systems
biblio
Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
Submitted by
aekwall
on Mon, 07/27/2020 - 12:12pm
security of data
computer network security
Monitoring
distributed processing
Protocols
SCADA
SCADA systems
Resiliency
pubcrawl
composability
network attacks
Substations
power grids
fault tolerant computing
power system reliability
resilience
computer centres
Power Grid
intrusion tolerance
data centers
network attack
control centers
data acquisition systems
nation-state-level attackers
network-attack-resilient intrusion-tolerant SCADA
power grid infrastructure
SCADA system management
simultaneous intrusions
sophisticated network-level attacks
Spire
supervisory control
System recovery
biblio
A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study
Submitted by
aekwall
on Mon, 07/20/2020 - 10:32am
pubcrawl
budget constraints
computability
Control Theory and Resiliency
deployment plan
encoding
formal model
formal modeling
hybrid network
incremental deployment
legacy forwarding devices
network synthesis
network topology
novel grid control operations
power engineering computing
programmable SDN-enabled switches
real-time data
resilience
Resiliency
resiliency requirements
resiliency-aware deployment
resilient operation
satisfiability modulo theories
SCADA
SCADA network
SCADA systems
SCADA-based case study
SDN architecture
SDNSynth
SDNSynth framework
Smart Grid
Smart Grids
smart power grids
software defined networking
supervisory control and data acquisition network
Switches
synthesis model
synthetic SCADA systems
systematic deployment methodology
biblio
Study of hardware trojans based security vulnerabilities in cyber physical systems
Submitted by
grigby1
on Thu, 07/16/2020 - 11:57am
closed loop systems
closed-loop systems
completely virtual simulation platform
complex computing environment
composability
Computational modeling
computing chip
computing hardware design
computing platform
CPS modeling
critical CPS application
cyber physical systems
cyber-physical systems
gas pipeline based SCADA system
Hardware
hardware internals
Hardware Trojans
hardware-in-the loop simulation
hardware-in-the-loop based simulation platform
IC industry
integrated circuits
invasive software
malicious modifications
Metrics
pubcrawl
reliable functionality
resilience
Resiliency
SCADA systems
secure functionality
security
Security Awareness
security vulnerabilities
simulations
software peripherals
threat models
Trojan horses
biblio
Ransomware Threat and its Impact on SCADA
Submitted by
grigby1
on Fri, 07/10/2020 - 1:08pm
production engineering computing
invasive software
Cybersecurity
pubcrawl
Metrics
Resiliency
resilience
Human behavior
Computer crime
malware
Human Factors
control engineering computing
industrial control
information security
cybercrimes
cryptocurrency
cryptojacking
business productivity
Coin Miner
critical infrastructure
critical infrastructures
Cryptor
Cyber Actor
cyber attack
cyber threat
cyber-attack incidents
cybercriminals
Data and System Access
Data Backup
Data Extortion
Data Mitigation
Device Compromising
Downtime
Encrypting
human machine interface
ICs
Industrial Control Systems
industrial networks
industrial processes
Infected System
Locker
malicious software
Network
operation technology
Petya
programmable logic controllers
Ransom
Ransomware
ransomware attack
Ransomware Deadline
Ransomware Incidents
Ransomware Prevention
Ransomware Strategies
Ransomware Taxonomy
ransomware threat
Ransomware Threating
Remote Terminal Units
SCADA systems
supervisory control and data acquisition
Threat report
WannaCry
biblio
N-1 RTU Cyber-Physical Security Assessment Using State Estimation
Submitted by
aekwall
on Mon, 07/06/2020 - 10:19am
security of data
cyber-attack
SCADA systems
cyber-physical systems
Resiliency
pubcrawl
cyber-attacks
power system security
energy management systems
power system state estimation
power system control
SCADA system
private networks
supervisory control and data acquisition system
substation automation
state estimation
Denial-of-Service
state estimator
control center
Remote Terminal Units
cyber-physical impact
Cyber-physical security assessment
electrical substations
EMS applications
IEEE 14-bus system
N-1 RTU cyber-physical security assessment
observability analysis
power system devices
synthetic 200-bus system
Damage Assessment
biblio
Cyber-Physical Emulation and Optimization of Worst-Case Cyber Attacks on the Power Grid
Submitted by
aekwall
on Mon, 07/06/2020 - 10:14am
security of data
Scalability
SCADA systems
cyber-physical systems
Resiliency
pubcrawl
Metrics
optimisation
power engineering computing
power system security
Load flow
power grids
Human Factors
power system simulation
power system control
control engineering computing
Compositionality
power control
Substations
bulk electric system
CrashOverride
CrashOverride malware
CrashOverride malware attack
cyber experiments
cyber interdiction optimization
cyber-physical emulation
DC optimal power flow
DC power transmission
design of experiments
interdiction optimization
load control
notional electric system
power control area
power grid operations
Remote Terminal Units
SCADA/ICS controls
substation controlling
worst-case cyber attacks
worst-case loss
Cyber Dependencies
biblio
Analysis of Wells-type turbines’ operational parameters during winter of 2014 at Mutriku wave farm
Submitted by
grigby1
on Fri, 04/24/2020 - 12:02pm
composability
Cyclones
electricity meter
fluid mechanics
Fluids
Meteorology
Metrics
Mutriku wave farm
oscillating behaviors
Oscillating Water Column
OWC technology
power 7681.6 W
pressure 9234.2 Pa
privacy
pubcrawl
renewable energy
renewable energy sources
resilience
Resiliency
SCADA data recording system
SCADA systems
security
time 5.0 min
Turbines
Valves
wave power generation
Wells-type turbines
biblio
Deploying Intrusion-Tolerant SCADA for the Power Grid
Submitted by
aekwall
on Mon, 03/16/2020 - 10:30am
Compositionality
composability
deployment
Human behavior
Intrusion Detection
intrusion tolerance
intrusion-tolerant SCADA system
machine learning
power engineering computing
power generation
Power Grid
power grid protection
power grid SCADA systems
power grid supervisory control and data acquisition systems
power grids
Power industry
power plant
Power system protection
Protocols
pubcrawl
red team
Resiliency
SCADA
SCADA systems
SCADA Systems Security
security of data
biblio
Real-Time SCADA Attack Detection by Means of Formal Methods
Submitted by
aekwall
on Mon, 03/16/2020 - 10:29am
security
security of data
critical infrastructure
critical infrastructures
SCADA
SCADA systems
Resiliency
Human behavior
pubcrawl
model checking
Temporal Logic
Safety
automata
automata theory
SCADA Systems Security
Semantics
Compositionality
Chemicals
programmable controllers
programmable logic controller
Clocks
formal methods
chemical manufacturing plants
chemical substances
control smart grid
critical machines
real-time SCADA attack detection
SCADA control systems
SCADA water distribution system
timed automata
timed automaton
timed temporal logic
water supply
1
2
3
4
5
6
7
next ›
last »
