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
Refining
biblio
Deadlock Detection for MPI Programs Based on Refined Match-sets
Submitted by grigby1 on Fri, 05/12/2023 - 10:28am
message passing
System recovery
security
Resiliency
resilience
Refining
Protocols
Metrics
message passing interface
pubcrawl
match-sets
high-performance computing
Concurrency
composability
communication deadlock
Cluster Computing
Clocks
biblio
On the Peer Degree Distribution of the Bitcoin P2P Network
Submitted by grigby1 on Fri, 03/31/2023 - 11:29am
IP networks
Peer-to-peer computing
pubcrawl
Human behavior
Conferences
Scalability
Protocols
bitcoin
Human Factors
Refining
blockchains
bitcoin security
biblio
Development of a Two-Factor Authentication System for Enhanced Security of Vehicles at a Carpark
Submitted by aekwall on Fri, 02/17/2023 - 10:49am
Image color analysis
Safe Coding
two-factor authentication
System software
Refining
Car Park
Automatic Number Plate Recognition
QR code
QR codes
security
policy-based governance
Resiliency
Metrics
pubcrawl
automobiles
authentication
Human Factors
Software
biblio
Physical Layer Security using SMO
Submitted by grigby1 on Fri, 02/03/2023 - 3:37pm
pubcrawl
Metrics
resilience
Resiliency
5G mobile communication
Wireless communication
composability
physical layer security
Refining
NOMA
Artificial noise precoding
massive MIMO
mMIMO (Massive multiple-input-multiple-output)
NOMA (Non-Orthogonal Multiple Access)
precoding
SMO
biblio
Assessing Time Transfer Methods for Accuracy and Reliability : Navigating the Time Transfer Trade-off Triangle
Submitted by grigby1 on Fri, 09/09/2022 - 2:22pm
Time Frequency Analysis
time transfer
technological assessment
Rabbits
pre-deployment evaluation
effort
Refining
Size measurement
Resiliency
measurement uncertainty
security
Accuracy
navigation
Time-frequency Analysis
resilience
Reliability
Scalability
Metrics
pubcrawl
biblio
Gradual Security Types and Gradual Guarantees
Submitted by grigby1 on Fri, 08/12/2022 - 2:09pm
Monitoring
pubcrawl
Resiliency
composability
Runtime
computer security
Metrics
Semantics
noninterference
compiler security
Refining
annotations
gradual guarantees
gradual typing
Information Flow Control
biblio
Developing Visualisations to Enhance an Insider Threat Product: A Case Study
Submitted by grigby1 on Tue, 06/07/2022 - 11:09am
Data visualization
Usability in security and privacy
interactive systems
Human and Societal Aspects of Security and Privacy
visual analytics
Visualization application domains
security and privacy
human-centered computing
Refining
insider threat
pubcrawl
visualization
Metrics
composability
Prototypes
privacy
Software
policy-based governance
Human behavior
biblio
A Scoring System to Efficiently Measure Security in Cyber-Physical Systems
Submitted by grigby1 on Wed, 07/28/2021 - 8:45am
Refining
threat analysis
Security Scoring
Security Metrics
security metric
Security Engineering
Security analysis
security
Scalability
Complexity theory
pubcrawl
privacy
Metrics
Measurement
Internet of Things
cyber-physical systems
Computing Theory
biblio
Security Analysis of Improved One-Time Pad Cryptography Using TRNG Key Generator
Submitted by grigby1 on Fri, 09/04/2020 - 3:38pm
frequency monobit
brute force attacks
TRNG key generator
trng
ryptography
Refining
random keys
PRNG
Prediction algorithms
OTP
one-time pad cryptography
one-time pad
information security analysis
Ciphers
Fisher-Yates shuffling algorithm
cipher text mapping
avalanche effect
random number generation
Brute Force Attack
policy-based governance
Human Factors
cryptographic algorithms
pubcrawl
Generators
encryption
Cryptography