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
Protocols
biblio
Low Priority Congestion Control for Multipath TCP
Submitted by aekwall on Fri, 08/26/2022 - 12:06pm
Control Theory
resilience
Bandwidth
Congestion Control
coupled congestion control
delays
less-than-best-effort service
Linux
multipath TCP
Phase measurement
Protocols
pubcrawl
Resiliency
Scalability
Throughput
user experience
biblio
Formal Specification and Verification of 5G Authentication and Key Agreement Protocol using mCRL2
Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
Metrics
Process Algebra.
mCRL2 language
formal methods
5G-AKA Protocol
formal verification
Concurrency
algebra
3GPP
5G networks
tools
composability
Protocols
5G mobile communication
authentication
Analytical models
Resiliency
resilience
pubcrawl
security
biblio
Secure Outsourcing of Fuzzy Linear Regression in Cloud Computing
Submitted by grigby1 on Fri, 08/26/2022 - 11:09am
tools
Cloud Computing
machine learning
security
pubcrawl
Protocols
Metrics
Linear programming
Computing Theory
outsourcing
linear regression
fuzzy linear regression
Secure computing
transformational approach
biblio
Attack Detection and Mitigation using Multi-Agent System in the Deregulated Market
Submitted by grigby1 on Fri, 08/12/2022 - 4:36pm
Asia
Economics
Electricity supply industry
power system stability
process control
Protocols
tool
command injection attacks
pubcrawl
composability
Resiliency
Metrics
biblio
A Novel Edge Security Gateway for End-to-End Protection in Industrial Internet of Things
Submitted by grigby1 on Fri, 08/12/2022 - 4:35pm
command injection attacks
pubcrawl
composability
Resiliency
Metrics
Image edge detection
industrial control
integrated circuits
Logic gates
Market research
Protocols
Reconnaissance
biblio
Detecting Attacks on Synchrophasor Protocol Using Machine Learning Algorithms
Submitted by grigby1 on Fri, 08/12/2022 - 4:35pm
Resiliency
Voltage measurement
tools
Smart Grids
scapy
Protocols
PMU
Phasor measurement units
Metrics
c37.118
composability
pubcrawl
command injection attacks
machine learning algorithms
machine learning
Industrial Control Systems
critical infrastructure security
biblio
PIT: A Probe Into Internet of Things by Comprehensive Security Analysis
Submitted by aekwall on Fri, 08/12/2022 - 4:02pm
composability
Engines
framework
fuzzing
Generators
Human behavior
Internet of Things
Protocols
pubcrawl
Resiliency
security
Security analysis
security and privacy
static analysis
Vulnerability
biblio
A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs
Submitted by aekwall on Fri, 08/12/2022 - 3:54pm
privacy
Bandwidth
Protocols
Scalability
Receivers
Computational efficiency
blockchain
blockchains
pubcrawl
bitcoin
mixing
payment-channel-hubs
payment-channels
composability
biblio
Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
Task Analysis
Protocols
Databases
Aggregates
computer security
pubcrawl
Writing
universal composability
Vector commitments
ZK proofs of knowledge
composability
biblio
R-Chain: A Universally Composable Relay Resilience Framework for Smart Grids
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
authentication
automation
composability
Cryptography
Key derivation
performance evaluation
Protocols
pubcrawl
Ransomware
relay resilience
Smart Grids
universal composability
« first
‹ previous
…
12
13
14
15
16
17
18
19
20
…
next ›
last »
