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
Safety
biblio
Tamarin software – the tool for protocols verification security
Submitted by aekwall on Tue, 10/12/2021 - 3:06pm
Software
privacy
Internet of Things
Protocols
tools
encryption
pubcrawl
composability
standards
Compositionality
Safety
policy-based governance
security protocols
sensor networks
Tamarin software
protocol verification
biblio
Quantifying DNN Model Robustness to the Real-World Threats
Submitted by grigby1 on Tue, 10/12/2021 - 2:48pm
adversarial example
Cameras
Computational modeling
Detectors
Metrics
Neural networks
Perturbation methods
Predictive models
predictive security metrics
pubcrawl
Robustness
Safety
threat severity
biblio
Functional Safety for Braking System through ISO 26262, Operating System Security and DO 254
Submitted by grigby1 on Mon, 10/04/2021 - 2:51pm
Operating systems security
VisualSim Architect
Task Analysis
system-level modeling
standards
Software
Safety
RTOS
Resiliency
resilience
pubcrawl
Analytical models
Metrics
ISO26262
Hazards
Hardware
F.I.R
ECUs
DO254
composabilty
CAN\_ether\_switch
biblio
Design of a Secure Blockchain-Based Smart IoV Architecture
Submitted by aekwall on Mon, 10/04/2021 - 1:59pm
Safety
peer to peer security
Vehicle-to-everything
vehicle security
smart IoV
Internet security
intelligent transport system
BSIoV
blockchain technology
signal processing
information security
Resiliency
Metrics
pubcrawl
Scalability
smart contract
Peer-to-peer computing
blockchain
Human Factors
biblio
Representing Gate-Level SET Faults by Multiple SEU Faults at RTL
Submitted by grigby1 on Thu, 09/30/2021 - 12:54pm
multiple fault diagnosis
tools
SEU
set
semiconductor lasers
security
Safety
Resiliency
resilience
pubcrawl
Multiple Faults
Circuit faults
Metrics
Logic gates
Integrated circuit modeling
Human Factors
Human behavior
Hardware Security
functional safety
Fault injection
cyber physical systems
biblio
RAT: A Lightweight System-Level Soft Error Mitigation Technique
Submitted by grigby1 on Thu, 09/30/2021 - 11:07am
Reliability
Metrics
mitigation technique
multicore
multicore computing security
Multicore processing
pubcrawl
Redundancy
Registers
fault tolerance
resilience
Resiliency
Safety
Scalability
soft error reliability
tools
Very large scale integration
biblio
Comparative Analysis of Various Approaches for DoS Attack Detection in VANETs
Submitted by grigby1 on Tue, 09/21/2021 - 3:38pm
manet attack prevention
Attacked Packet Detection Algorithm
Bandwidth
Best Response
Compositionality
Computer crime
detection algorithms
game theory
Metrics
pubcrawl
resilience
Resiliency
Roads
Safety
vehicular ad hoc networks
biblio
The Software Application for Increasing the Awareness of Industrial Enterprise Workers on Information Security of Significant Objects of Critical Information Infrastructure
Submitted by grigby1 on Thu, 09/16/2021 - 4:08pm
resilience
Training
tools
Standards organizations
software application
security
Scientific Computing Security
Safety
Resiliency
Awareness
pubcrawl
Organizations
Metrics
information security
employee
digital industry
critical information infrastructure
Compositionality
biblio
Research on Security Evaluation Technology of Wireless Access of Electric Power Monitoring System Based on Fuzzy
Submitted by grigby1 on Thu, 09/09/2021 - 9:00am
power systems
wireless security assessment
wireless networks
security model
security
Safety
Resiliency
resilience
pubcrawl
Communication system security
power monitoring system
Monitoring
fuzzy theory
delphi method
Control Theory
composability
component
biblio
Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems
Submitted by grigby1 on Wed, 09/01/2021 - 2:14pm
data structures
filtering algorithms
Hardware
i-o systems security
pubcrawl
Safety
Scalability
Software
Software algorithms
Unmanned Aerial Vehicles
1
2
3
4
5
6
7
8
9
…
next ›
last »
