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
Solids
biblio
Cross-Layer Coordinated Attacks on Cyber-Physical Systems: A LQG Game Framework with Controlled Observations
Submitted by aekwall on Tue, 04/19/2022 - 11:17am
Games
Resiliency
composability
cyber-physical systems
Physical layer
Europe
process control
pubcrawl
mathematical models
Solids
Cross Layer Security
biblio
Investigating Automatic Code Generation for Network Packet Parsing
Submitted by grigby1 on Mon, 03/14/2022 - 12:22pm
security
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
internet
Protocols
Computer bugs
Safe Coding
Buildings
Policy Based Governance
Metrics
Syntactics
Solids
biblio
An Interactive Prover for Protocol Verification in the Computational Model
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
policy-based collaboration
tools
Solids
Semantics
security protocols
pubcrawl
protocol verification
Protocols
privacy
cognition
observational equivalence
Interactive Prover
formal methods
computational security
Computational modeling
Compositionality
composability
collaboration
biblio
Blockchain-Based Platform for Secure Sharing and Validation of Vaccination Certificates
Submitted by grigby1 on Thu, 02/24/2022 - 12:21pm
Vaccines
SSI
Solids
smart contracts
smart contract
Scalability
pubcrawl
Privacy Policies
privacy
IPFS
Human behavior
COVID-19
Costs
blockchain technology
blockchains
biblio
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory
Submitted by aekwall on Mon, 01/31/2022 - 4:32pm
Measurement
Task Analysis
Software
Human Factors
pubcrawl
Scalability
Resiliency
game theory
Adaptation models
software engineering
self organizing teams
Solids
work factor metrics
biblio
Semi-Finite Length Analysis for Secure Random Number Generation
Submitted by aekwall on Mon, 03/23/2020 - 1:20pm
upper bounds
random key generation
STEM
Solids
semifinite length analysis
secure random number generation
secure key generation length
lower bounds
imperfect random numbers
asymptotic expansion
Upper bound
Scalability
set theory
random number generation
Lattices
Entropy
Distribution functions
Metrics
pubcrawl
Human behavior
Resiliency
Cryptography
biblio
Beyond technical data - a more comprehensive situational awareness fed by available intelligence information
Submitted by BrandonB on Tue, 05/05/2015 - 12:38pm
information collection fusion
vulnerability information
threat information
technical data
Solids
situational awareness
security of data
military information providers
military environment
malware
intelligence processing
intelligence information
intelligence
information sources
information resources
adversary capabilities
information categories
Decision Making
decision makers
cyber threats
cyber space
cyber intelligence
cyber incidents
cyber analysis
cyber
Context
civil information providers
civil environment
Charge coupled devices
Bibliographies
