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
design
forum
Call for Papers: 27th Annual Network and Distributed System Security Symposium
Submitted by
willirn1
on Wed, 07/03/2019 - 2:46pm
Call for Papers
27th Annual Network and Distributed System Security Symposium 2020
February 23-26, 2020
San Diego, CA
Calls for Papers
Automotive
Design Automation Tools
Critical Infrastructure
Science of Security
CPS Technologies
Foundations
critical infrastructures
anti-malware
network and distributed systems
network and distributed systems secuirty
Cyber Crime Prevention Model
Architectures
design
security
cyber security
Announcement
forum
Call for Papers: Elsevier Computer Networks, Special Issue on 5G-Enabled Internet of Things, Applications and Services
Submitted by
willirn1
on Fri, 06/28/2019 - 2:54pm
Call for Papers
Special Issue on 5G-Enabled Internet of Things, Applications and Services
Elsevier Computer Networks
Calls for Papers
Architectures
Modeling
Foundations
security
privacy
design
Architectures
smart objects
5G
Internet of Things (IoT)
behavior modeling
Announcement
biblio
Risk-Based Design Security Analysis
Submitted by
grigby1
on Mon, 06/17/2019 - 10:50am
design
Human Factors
Metrics
pubcrawl
resilience
risk analysis
Scalability
security
Security Risk Management
Threat Modeling
biblio
Knowledge-enriched Security and Privacy Threat Modeling
Submitted by
aekwall
on Wed, 02/13/2019 - 10:55am
design
model enrichment
security
Threat Modeling
Resiliency
Human behavior
pubcrawl
metric
threat mitigation
biblio
An IDE for the Design, Verification and Implementation of Security Protocols
Submitted by
grigby1
on Wed, 01/10/2018 - 11:19am
AnBx compiler
code generator
compiler security
composability
dependable distributed applications
design
Eclipse-based IDE
encryption
formal method tools
formal modelling
Formal Specification
formal verification
Generators
implementation
integrated development environment
intuitive language AnB
Java
model checker OFMC
program compilers
program verification
protocol verification
Protocols
pubcrawl
Resiliency
secure distributed applications
security of data
security protocols
software engineering
tools
verification
biblio
Detecting and thwarting hardware trojan attacks in cyber-physical systems
Submitted by
grigby1
on Mon, 11/13/2017 - 11:00am
attack vector models
composability
counter-measure
cyber-physical system integrity
cyber-physical systems
design
Diagnostics
Embedded System
field programmable gate arrays
Hardware
hardware component
hardware security platform
hardware-only attack
invasive software
IP networks
isolated security primitives
Measurement
pubcrawl
Reliability
Resiliency
security
security measures
smart grid application
Software component
software security
software-only attack
supervisory module
third-party soft IP cores
thwarting hardware trojan attacks
Trojan horses
trust
trust enhancements
trust metric
trust specifications
Trusted Computing
trusted platform modules
verification
biblio
The Blockchain as a Software Connector
Submitted by
grigby1
on Fri, 11/03/2017 - 10:33am
architectural decision
Architecture connector
Australia
blockchain
blockchain security
Connectors
contracts
Cryptography
data handling
decentralized blockchain
decentralized data sharing
design
design trade-offs
distributed processing
distributed software architectures
Online banking
Peer-to-peer computing
pubcrawl
quality attributes
Resiliency
Scalability
Software
Software Architecture
software connector
software quality
Trade-off
transactional data sharing
untrusted participants
biblio
Evaluating Physical Movement As Trigger for Transitioning Between Environments in Virtual Reality
Submitted by
grigby1
on Thu, 05/18/2017 - 2:05pm
computer games
design
digital media
Metrics
pubcrawl
Resiliency
Scalability
virtual reality
work factor metrics
biblio
On the Role of Latent Design Conditions in Cyber-physical Systems Security
Submitted by
grigby1
on Mon, 04/03/2017 - 10:52am
composability
cyber-physical systems
design
i-o systems security
i/o systems security
Industrial Control Systems
io systems security
Metrics
perception
Physical layer
physical layer security
physical-layer security
pubcrawl
Resiliency
Risk
Scalability
file
Yuan_Systematic_Survey.pdf
Submitted by
Jamie Presken
on Mon, 12/05/2016 - 11:43am
Self-protection
self-adaptive systems
self-* properties
security
Reliability
design
Autonomic computing
Algorithms
adaptive security
1
2
3
4
next ›
last »
