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
design
biblio
The SelfReflector: Design, IoT and the High Street
Submitted by aekwall on Mon, 12/30/2019 - 12:12pm
design
Resiliency
Human behavior
pubcrawl
Metrics
Internet of Things
facial recognition
connected mirror
craft
research through design
sense of self
shopping
forum
Call for Papers: 27th Annual Network and Distributed System Security Symposium
Submitted by willirn1 on Wed, 07/03/2019 - 3: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 - 3: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 - 11: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 - 11: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 - 12:19pm
intuitive language AnB
verification
tools
software engineering
security protocols
security of data
secure distributed applications
Resiliency
pubcrawl
Protocols
protocol verification
program verification
program compilers
model checker OFMC
Java
AnBx compiler
integrated development environment
implementation
Generators
formal verification
Formal Specification
formal modelling
formal method tools
encryption
Eclipse-based IDE
design
dependable distributed applications
composability
compiler security
code generator
biblio
Detecting and thwarting hardware trojan attacks in cyber-physical systems
Submitted by grigby1 on Mon, 11/13/2017 - 12:00pm
thwarting hardware trojan attacks
Resiliency
security
security measures
smart grid application
Software component
software security
software-only attack
supervisory module
third-party soft IP cores
Reliability
Trojan horses
trust
trust enhancements
trust metric
trust specifications
Trusted Computing
trusted platform modules
verification
Hardware
composability
counter-measure
cyber-physical system integrity
cyber-physical systems
design
Diagnostics
Embedded System
field programmable gate arrays
attack vector models
hardware component
hardware security platform
hardware-only attack
invasive software
IP networks
isolated security primitives
Measurement
pubcrawl
biblio
The Blockchain as a Software Connector
Submitted by grigby1 on Fri, 11/03/2017 - 11:33am
distributed software architectures
untrusted participants
transactional data sharing
Trade-off
software quality
software connector
Software Architecture
Software
Scalability
Resiliency
quality attributes
pubcrawl
Peer-to-peer computing
Online banking
architectural decision
distributed processing
design trade-offs
design
decentralized data sharing
decentralized blockchain
data handling
Cryptography
contracts
Connectors
blockchain security
blockchain
Australia
Architecture connector
biblio
Evaluating Physical Movement As Trigger for Transitioning Between Environments in Virtual Reality
Submitted by grigby1 on Thu, 05/18/2017 - 3: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 - 11: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
« first
‹ previous
1
2
3
4
5
next ›
last »
