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
Naval cyber-physical anomaly propagation analysis based on a quality assessed graph
Submitted by aekwall on Mon, 02/08/2021 - 1:39pm
security of data
Scalability
Data models
cyber-physical systems
Resiliency
pubcrawl
graph theory
Computational modeling
Metrics
Analytical models
cyber-attacks
Anomaly Detection
sensors
Human Factors
Compositionality
programmable controllers
navigation
Cyber Dependencies
Marine vehicles
Anomalies
CPS anomalies
cyber-physical system
data and information quality
data streams
data-driven decision system
digital subsystems
information quality measures vectors
naval CPS
naval cyber-physical anomaly propagation analysis
naval engineering computing
naval propulsion management system
optimized supervisory control
programmable logical controller
propagation analysis
quality assessed graph
system graph
biblio
A Scaffolding Design Framework for Developing Secure Interoperability Components in Digital Manufacturing Platforms
Submitted by grigby1 on Mon, 11/02/2020 - 11:40am
code generation technique
Connected Smart Factories
cyber-physical systems
Cybersecurity
Digital manufacturing platforms
enterprise resource planning
enterprise resource planning systems
Fi-Ware
human computer interaction
i-o systems security
i/o systems security
legacy file formats
open systems
operating systems (computers)
platform integration automation
platform security
program logic controllers
programmable controllers
pubcrawl
scaffolding design framework
Scalability
secure interoperability components
security of data
software applications
software scaffolding
software tools
System Interoperability
system security
vf-OS IO components
vf-OS IO toolkit generator
vf-OS security command centre
virtual open operating system
biblio
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems
Submitted by grigby1 on Fri, 10/30/2020 - 12:18pm
I-O Systems
i-o systems security
security
control engineering computing
control systems
CPS
Cyber-physical attacks
cyber-physical attacks mitigation
cyber-physical systems
cyber-physical systems (CPSs)
embedded control
embedded systems
Hardware
hardware architecture
industrial control
Industrial Control Systems
Industries
input-output programs
malicious attacks
Monitoring
Power Grid
production engineering computing
programmable controllers
programmable logic controller I/O modules
pubcrawl
real-world physical systems
Runtime
runtime enforcement
Safety
Scalability
security of data
smart I/O modules
biblio
United We Stand: A Threshold Signature Scheme for Identifying Outliers in PLCs
Submitted by grigby1 on Fri, 09/04/2020 - 3:16pm
(k
\$-threshold signature scheme
Anomaly Detection
BIOS Security
compromised state
control engineering computing
corrupted PLC
cyber security awareness week-2017 competition
digital signatures
electro-mechanical processes
finite state machine
finite state machines
group-signature
Human Factors
I-O Systems
i-o systems security
I/O pin configuration attack
input-output mechanism
IO pin configuration attack
l)-threshold signature scheme
Legacy PLC system
legacy PLCs
malicious code
malicious disruption
malware
Metrics
OpenPLC software
particular state
Pins
PLCs
predefined states
programmable controllers
Protocols
Prototypes
pubcrawl
Pulse width modulation
pulse width modulation pins
PWM
Raspberry Pi
Registers
resilience
Resiliency
Scalability
security
signature shares
uncorrupted PLC
biblio
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems
Submitted by grigby1 on Fri, 06/19/2020 - 11:48am
control engineering computing
cyber-physical systems
cyber-physical systems of systems
false trust
formal correctness analysis
Formal Specification
formal verification
manufacturing
manufacturing automation
Mechanical systems
PLC software
policy-based governance
Policy-Governed Secure Collaboration
programmable controllers
pubcrawl
regression analysis
regression verification processes
resilience
Resiliency
Scalability
security of data
software-driven systems
system validation
trust inheritance analysis
trust preservation
Trusted Computing
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
anomaly detection techniques
attack vector
computer security
Air gaps
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 security
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
middleware security
Monitoring
operating devices
physical damage
Physical damage control
Physical Threats in IoT
PLC
policy-based governance
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
1
2
next ›
last »
