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
Circuits and systems
biblio
Design and Implementation of a Software Disaster Recovery Service for Cloud Computing-Based Aerospace Ground Systems
Submitted by grigby1 on Fri, 01/06/2023 - 3:32pm
Cloud Computing
security
pubcrawl
resilience
Resiliency
Software
Computational modeling
data centers
Circuits and systems
Aerospace accidents
aerospace ground systems
disaster recovery service mode
System recovery
biblio
Flexible Framework for Stimuli Redundancy Reduction in Functional Verification Using Artificial Neural Networks
Submitted by grigby1 on Tue, 03/15/2022 - 11:12am
pubcrawl
resilience
Resiliency
Scalability
Redundancy
Metrics
Compositionality
Artificial Neural Networks
Circuits and systems
Time to market
scalable verification
biblio
Improving Security in SCADA Systems through Model-checking with TLA+
Submitted by grigby1 on Mon, 03/14/2022 - 11:36am
pubcrawl
Human behavior
resilience
Resiliency
SCADA systems
cyber-physical systems
Compositionality
manufacturing
formal specifications
Transportation
Circuits and systems
SCADA Systems Security
cyberphysical security
human factors impacting security
specification languages
trusted systems
biblio
Hardware Attack and Assurance with Machine Learning: A Security Threat to Circuits and Systems
Submitted by grigby1 on Mon, 11/29/2021 - 1:50pm
Circuits and systems
collaboration
Correlation
Hardware
Human behavior
Human Factors
machine learning
Metrics
pubcrawl
Scalability
side-channel attacks
Tamper resistance
timing
biblio
Design and Implementation of DNA Based Cryptographic Algorithm
Submitted by aekwall on Mon, 02/08/2021 - 12:50pm
S-box
pipeline processing
half cryptographic framework
DNA based S-box
DNA based cryptographic algorithm
current security
Circuits and systems
Artix-7 device
AES-Algorithm
biocomputing
DNA cryptography
security
cryptographic algorithm
Predictive Metrics
DNA
privacy
standards
pubcrawl
Human behavior
Resiliency
encryption
Cryptography
