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
contracts
biblio
A Secure Multi-party Computation Protocol Combines Pederson Commitment with Schnorr Signature for Blockchain
Submitted by grigby1 on Thu, 05/13/2021 - 12:10pm
blockchain
pubcrawl
resilience
Resiliency
privacy
data privacy
Protocols
Public key
Electronic mail
anonymous messaging
contracts
zero-knowledge proof
privacy computing
secure multi-party computation
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Safety
programming
Resiliency
pubcrawl
Robustness
cyber-physical systems
Artificial Neural Networks
contracts
Complexity theory
Scalability
Neural networks
Predictive Metrics
Compositionality
verification
scalable verification
contract-based design
deep reinforcement learning
biblio
Cost-efficient Integration Process Placement in Multiclouds
Submitted by aekwall on Tue, 04/27/2021 - 1:34pm
Scalability
Runtime
security
Resiliency
pubcrawl
Routing
pattern matching
Containers
Random access memory
contracts
Security Heuristics
predictability
Application Integration
Cost efficient
Integration Patterns
Multicloud
Process Placement
biblio
Data Auditing in Cloud Storage using Smart Contract
Submitted by aekwall on Tue, 04/27/2021 - 1:28pm
Cloud Computing
Scalability
Servers
Conferences
Resiliency
Human behavior
pubcrawl
blockchain
contracts
data integrity
smart contract
cloud storage
TPA
Security Audits
biblio
UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems
Submitted by aekwall on Tue, 04/27/2021 - 1:15pm
security
Safety
Hardware
Software
computer architecture
pubcrawl
testing
contracts
Heterogeneous computing
Availability
composability
mixed-criticality
OTASU
biblio
Blockchain as a Platform for Secure Cloud Computing Services
Submitted by grigby1 on Tue, 04/27/2021 - 12:24pm
computer architecture
Cloud Computing
pubcrawl
Human behavior
Metrics
resilience
Resiliency
privacy
composability
contracts
smart contract
Blockchain as a Platform
cyber-attack
secure cloud computing
Secure File Sharing
biblio
Identity-of-Things Model using Composite Identity on Permissioned Blockchain Network
Submitted by grigby1 on Mon, 03/29/2021 - 2:23pm
Access Control
authorisation
collaborative participation
composite identity
contracts
Cryptography
data privacy
device domains
Distributed databases
distributed identity management model
Focusing
growing prevalence
heterogeneous smart applications
Human behavior
Identity management
identity spoofing
identity storage
Identity-of-Things (IDoT)
Identity-of-Things approach
Identity-of-Things model
Internet of Things
Internet-of-Things technology
IoT devices
permissioned blockchain
permissioned blockchain implementation
Permissioned blockchain Network
pubcrawl
resilience
Resiliency
rogue devices
Scalability
smart contract
Software
tamper-proof identity
telecommunication security
biblio
Identity management using permissioned blockchain
Submitted by grigby1 on Mon, 03/29/2021 - 2:23pm
Aadhar-card
authorisation
Bitnation
blockchain technology
contracts
cryptocurrencies
data privacy
design information security
Digital India
distributed ledger
Distributed trust model
distribution control
e-Residency
efficient identity management
Estonia
ethereum
Fabrics
financial data processing
fraud
fraud cases
Government
government agencies
government data processing
hashing algorithms
homeland security enterprise
Human behavior
identity cards
Identity management
identity management capabilities
identity thefts
India
permissioned blockchain
person identity authentication
personal data hashing
privacy
privacy concepts
private key cryptography
pubcrawl
public key cryptography
public-private keys
resilience
Resiliency
Scalability
score-card
security
Self-Sovereign Identity
smart cards
smart contracts
unauthorized hands
US Home Land Security
biblio
Gap between Theory and Practice: An Empirical Study of Security Patches in Solidity
Submitted by aekwall on Mon, 03/15/2021 - 12:07pm
security of data
Scalability
telecommunication security
security
Resiliency
pubcrawl
Metrics
tools
software engineering
static analysis
security vulnerabilities
smart contracts
program diagnostics
encoding
Compositionality
program compilers
contracts
C++ language
compiler security
electronic commerce
Manuals
smart contract security
empirical study
Ethereum smart contract developers
missing security patches
potentially vulnerable contracts
real-world Ethereum smart contracts
real-world Solidity contracts
security patches
Solidity
Solidity team
vulnerability patches
biblio
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network
Submitted by grigby1 on Tue, 03/09/2021 - 2:48pm
anonymity
anonymity issues
bitcoin
channel capacity
computer network security
concurrent payments
contracts
cryptocurrencies
Cryptographic Protocols
data privacy
denial-of-service attacks
Human behavior
Lightning
Lightning Network
LN community
multihop payment protocols
network-wide DoS attack costs
payment channel networks
permissionless decentralized cryptocurrencies
privacy
pubcrawl
quantitative analysis
Receivers
Scalability
security
security vulnerabilities
sensitive payment information
wormhole attack
1
2
3
4
5
6
7
next ›
last »
