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
Read-only archive of site from September 29, 2023.
CPS-VO
automata
biblio
Automated Anomaly Detection Tool for Industrial Control System
Submitted by grigby1 on Fri, 08/18/2023 - 3:12pm
automata
Water heating
secure water treatment testbed
gasoil heating loop
finite state automata
Resiliency
ICS Anomaly Detection
Industrial Control Systems
power grids
Anomaly Detection
real-time systems
integrated circuits
industrial control
internet
Scalability
resilience
pubcrawl
biblio
Designing Secure and Resilient Cyber-Physical Systems Using Formal Models
Submitted by grigby1 on Fri, 06/09/2023 - 11:53am
CPS
Resiliency
automata
cyber-physical systems
Design methodology
formal methods
Human behavior
Human Factors
privacy
process control
pubcrawl
Safety-Critical Systems
Semantics
water
biblio
The Computational and Symbolic Security Analysis Connections
Submitted by grigby1 on Fri, 02/17/2023 - 4:21pm
pubcrawl
Metrics
resilience
Resiliency
Protocols
Computational modeling
automata
Compositionality
Numerical models
scientific computing
Data integration
cloud storage
computational security
Light rail systems
Symbolic Security Analysis
Scientific Computing Security
biblio
Anomaly Detection and Anomaly Location Model for Multiple Attacks Using Finite Automata
Submitted by grigby1 on Fri, 12/09/2022 - 5:10pm
automata
actuator security
control system security
Binary Decision Diagram
Automaton
Accesslists
Three-dimensional displays
Solid modeling
actuators
Anomaly Detection
Switches
control systems
composability
Resiliency
resilience
Metrics
pubcrawl
biblio
Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata
Submitted by grigby1 on Fri, 09/30/2022 - 7:42am
Probabilistic logic
Probabilistic Automata
Network Monitoring
IEC 104
Resiliency
IPFIX
ICS Anomaly Detection
traffic control
Semantics
security
automata
ICs
Protocols
Scalability
Integrated circuit modeling
resilience
pubcrawl
Anomaly Detection
biblio
SoC Trust Validation Using Assertion-Based Security Monitors
Submitted by grigby1 on Fri, 08/12/2022 - 1:09pm
automata
System Verilog Assertions
Security and Hardware Monitors
Property Specification Language
Assertion Based Verification
system-on-chip
fabrication
compiler security
Metrics
tools
Layout
Runtime
composability
Hardware
Resiliency
pubcrawl
security
biblio
A Quantum Ring Signature Scheme Based on the Quantum Finite Automata Signature Scheme
Submitted by grigby1 on Tue, 04/26/2022 - 1:51pm
anonymity
automata
collaboration
Conferences
digital signatures
finite automata
Organizations
privacy
pubcrawl
quantum cryptography
quantum ring signature
resilience
Resiliency
Scalability
unforgeability
biblio
Supervisory control of post-fault restoration schemes in reconfigurable HVDC grids
Submitted by grigby1 on Tue, 03/22/2022 - 12:46pm
HVDC transmission
System recovery
⪡Systems engineering⪢
⪡Smart grids⪢
⪡Multi-terminal HVDC⪢
⪡Modelling⪢
⪡Fault handling strategy⪢
⪡Design⪢
⪡Control methods for electrical systems⪢
pubcrawl
supervisory control
Europe
automata
power electronics
delays
Resiliency
resilience
biblio
Formal Analysis and Verification of Industrial Control System Security via Timed Automata
Submitted by grigby1 on Thu, 09/30/2021 - 11:55am
model checking
Valves
timed automata
security
Resiliency
resilience
pubcrawl
process control
PLC
multiple fault diagnosis
automata
Metrics
malware detection
malware
ICS security
Human Factors
Human behavior
cyber physical systems
Clocks
biblio
"Digital Bombs" Neutralization Method
Submitted by grigby1 on Tue, 09/21/2021 - 2:52pm
malware
Weapons
static analysis
Resiliency
resilience
pubcrawl
privacy
Performance analysis
Metrics
Malware Analysis
Algorithms
Human behavior
graph theory
Grammar
dynamic control automaton
dynamic analysis
control graph
checkpoints
automata
Analytical models
1
2
3
4
5
next ›
last »
