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
programmable controllers
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
biblio
LED Alert: Supply Chain Threats for Stealthy Data Exfiltration in Industrial Control Systems
Submitted by
grigby1
on Wed, 02/26/2020 - 4:41pm
supply chain security
anomaly detection techniques
attack vector
computer security
CPU performance
cyber domain
Data Exfiltration
device tree
direct memory access
DMA transfer speed
embedded systems
Embedded Systems Security
firmware
firmware modification
firmware trojan
Hardware
industrial control
Industrial Control Systems
industrial domain
industrial Internet-of-Things
invasive software
Kernel
LED alert
light emitting diodes
Measurement
Metrics
operation technology
persistent threats
privacy
programmable controllers
programmable logic controller
pubcrawl
real-time operation
Smart Systems
supply chain attack
supply chain threats
supply chains
threat vectors
Trojan horses
biblio
Destructive Attacks Detection and Response System for Physical Devices in Cyber-Physical Systems
Submitted by
aekwall
on Mon, 01/13/2020 - 12:17pm
actuator
actuator security
actuators
composability
Compositionality
Computer worms
CPS
cyber-physical system security
cyber-physical systems
destructive attacks detection
Hardware
Human behavior
IoT security
malicious operation
Metrics
middleware
Monitoring
operating devices
physical damage
Physical damage control
Physical Threats in IoT
PLC
programmable controllers
programmable logic controller
pubcrawl
repetitive operational profile
Resiliency
response system
SCADA server
SCADA systems
SCADA Systems Security
security
security of data
system monitoring
biblio
Reducing Vulnerability to Cyber-Physical Attacks in Water Distribution Networks
Submitted by
grigby1
on Mon, 01/21/2019 - 12:30pm
actuator security
actuators
composability
control requirements
cyber attack
cyber physical systems
Cyber-physical attacks
cyber-physical security level
cyber-physical systems
digital devices
Human behavior
industrial control
Industrial Control Systems
malicious attacks
Metrics
Monitoring
physical processes
power engineering computing
power system security
programmable controllers
pubcrawl
Redundancy
redundant cyber components
Resiliency
security
security of data
sensor measurements
sensors
simple control laws
Vulnerability
water distribution
water distribution networks
water resources
water supply
biblio
A live static code analysis architecture for PLC software
Submitted by
grigby1
on Thu, 06/07/2018 - 3:12pm
composability
computer architecture
control engineering computing
debugging
development process
Human behavior
IEC 61131-3
IEC standards
live static code analysis architecture
PLC software
program diagnostics
programmable controllers
pubcrawl
regular compiler
resilience
Resiliency
Software
software engineering
static analysis
static code analysis
timing
tools
biblio
Application of NTRU Cryptographic Algorithm for SCADA Security
Submitted by
BrandonB
on Wed, 05/06/2015 - 11:09am
AGA-12
authentication
Communication Systems
critical infrastructure system
critical infrastructures
Cryptographic Protocols
digital signatures
DNP3
encryption
end-to-end security
IEC 60870
IEC 61850
IEC 62351
IEC standards
industrial process control
industrial process monitoring
Modbus
NTRU cryptographic algorithm
NTRU public key algorithm
power lines
process control
process monitoring
production engineering computing
programmable controllers
public key cryptography
real-time critical infrastructure system
SCADA architecture
SCADA communication protocols
SCADA communication protocols over TCP/IP
SCADA security standards
SCADA systems
security threats-attacks
supervisory control and data acquisition system
TCP/IP
transport protocols
Transportation
water
