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
formal verification
forum
IEEE Open Journal of Control Systems (OJCS) - Call for Papers!
Submitted by ve.rodriguez066 on Wed, 10/06/2021 - 1:53pm
Calls for Papers
verification
Systems Biology
stochastic systems
social networks
Smart Grids
robotics
Resilient Control Systems
optimization
Systems analysis stability and control
Network analysis and control
mechatronics
Machine Learning and control
Information theory and control
Human in the loop systems
Healthcare and medical systems
synthesis
IEEE
formal verification
economic systems
finance
embedded systems
delay systems
decision theory
computational methods
Biomolecular systems
Communication networks
Cognitive systems and their control
Agents and Autonomous systems
adaptive systems
Open Journal of Control Systems
OJCS
Announcement
Press release
Publications
biblio
Pattern-Based Approach to Modelling and Verifying System Security
Submitted by grigby1 on Mon, 10/04/2021 - 3:03pm
Algebraic specifications
composability
Design patterns
formal verification
Metals
Metrics
model checking
Object oriented modeling
object oriented security
pubcrawl
Resiliency
security
Semantics
software design
Unified modeling language
biblio
Performance Evaluation of a Lightweight IoT Authentication Protocol
Submitted by grigby1 on Thu, 09/16/2021 - 11:11am
performance evaluation
tools
signal processing
Scalability
Resiliency
resilience
Repudiation
pubcrawl
Protocols
protocol verification
Metrics
Human behavior
formal verification
authentication
privacy
policy-based governance
composability
Compositionality
biblio
A secure and lightweight three-factor authentication and key generation scheme for direct communication between healthcare professionals and patient’s WMSN
Submitted by grigby1 on Thu, 07/08/2021 - 3:51pm
AVISPA
e-health
formal verification
Human behavior
Human Factors
performance evaluation
pubcrawl
Three-factor authentication
two factor authentication
biblio
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX
Submitted by grigby1 on Thu, 05/13/2021 - 2:07pm
privacy
Trusted Execution Environment
testing
Software
Resiliency
resilience
Remote Attestation
pubcrawl
Protocols
attestation
Intel SGX
Human behavior
formal verification
Enhanced Privacy ID (EPID)
Cryptography
Computational modeling
composability
biblio
Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits
Submitted by aekwall on Mon, 05/03/2021 - 1:13pm
Wires
NULL Convention Logic
equivalence checking
asynchronous circuits
scalable verification
formal methods
Rails
formal verification
Registers
Resiliency
Compositionality
Predictive Metrics
Scalability
Logic gates
Industries
Synchronization
pubcrawl
biblio
A Solution of Text Based CAPTCHA without Network Flow Consumption
Submitted by grigby1 on Thu, 03/18/2021 - 2:35pm
information processing
verification logic
text-based CAPTCHA
text based CAPTCHA
telecommunication traffic
software engineering
Servers
server
security risks
security
pubcrawl
network flow
information processing security issues
authorisation
Human behavior
high-security text-based CAPTCHA solution
formal verification
encryption
distributed information processing
composability
client-server systems
client malicious programs
client
captchas
CAPTCHA technology
biblio
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Submitted by grigby1 on Tue, 02/16/2021 - 1:40pm
energy constraints
Damage Assessment
trustworthy CPS
prognostics and health management
PHM techniques
InFoCPS PhD research project
formal analysis techniques
formal analysis
energy uncertainty
energy prognostics
cyber-physical systems
electric batteries
dynamic energy behaviors
CPS development processes
Energy storage
power aware computing
formal verification
Resiliency
resilience
pubcrawl
biblio
A secure three-factor authentication and biometrics-based key agreement scheme for TMIS with user anonymity
Submitted by grigby1 on Thu, 01/28/2021 - 2:03pm
Servers
medical servers
Medical services
message authentication
Metrics
password
pubcrawl
remote monitoring
resilience
Resiliency
medical information systems
Smart card
smart cards
telecare medical information systems
telemedicine
three factor user authentication
Three-factor authentication
TMIS
user anonymity
user/server communication security
e-health systems
authentication
authorisation
AVISPA
biometrics
biometrics (access control)
biometrics based key agreement
composability
diseases
e-health
anonymity
ECG
file servers
formal security verification tool AVISPA
formal verification
health care
health systems
healthcare services
Human behavior
biblio
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks
Submitted by aekwall on Mon, 01/25/2021 - 1:03pm
atomic-level vulnerabilities
formal verification
Internet of Things systems
SCADA networks
networked system
cyber-physical systems security
attack graphs
A2G2V algorithm
architecture description tool
Predictive Metrics
attack graph
automatic attack graph generation
control networks
Cyber-Physical Systems (CPS)
enumerating counterexamples
model-checking tools
model-checking-based automated attack graph generator and visualizer
visualization tool
composability
computer network security
Internet of Things
Internet of Things (IoT)
computer architecture
SCADA systems
cyber-physical systems
Resiliency
pubcrawl
security
graph theory
Computational modeling
tools
computer networks
model checking
data visualisation
visualization
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
