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
blockchain
biblio
How formal analysis and verification add security to blockchain-based systems
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
ISO standards
tools
security of data
security layers
Security Evaluation
Scalability
Resiliency
resilience
pubcrawl
Protocols
process transactions
blockchain
integrated technology
IEC standards
formal verification
formal method
formal analysis
domain specific language
Cryptography
contracts
blockchain-based system security
blockchain security
biblio
Game theoretic study on blockchain based secure edge networks
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
Metrics
Servers
security
Scalability
Resiliency
resilience
punishment scheme
pubcrawl
Predictive Metrics
performance evaluation
network security
NE
Nash equilibria
Mobile handsets
mobile device
attack motivation
illegal security gains
Human Factors
Games
game theory
game theoretic study
game theoretic security
edge server
edge network
data privacy
Cloud Computing
blockchain-based secure edge networks
blockchain security game
blockchain security
blockchain
biblio
DecReg: A Framework for Preventing Double-Financing Using Blockchain Technology
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
blockchain
blockchain security
distributed trust
double financing
pubcrawl
resilience
Resiliency
Scalability
biblio
Blockchain Engineering for the Internet of Things: Systems Security Perspective
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
IoT
trust
pubcrawl
privacy
Scalability
bitcoin
blockchain
blockchain security
resilience
Resiliency
Systems Security
biblio
Towards an Optimized BlockChain for IoT
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
virtualization privacy
blockchain
blockchain security
Internet of Things
privacy
pubcrawl
resilience
Resiliency
Scalability
security
biblio
Data management and searching system and method to provide increased security for IoT platform
Submitted by grigby1 on Mon, 06/11/2018 - 3:37pm
Peer-to-peer computing
telecommunication security
simulation
signature
Servers
Security Properties
searching system
Scalability
Resiliency
resilience
Public key
pubcrawl
Proof-of-work
Ports (Computers)
blockchain
Named Data Network Security
IP networks
Internet of Things
Human behavior
Hash Function
file organisation
digital signatures
Databases
data management system
data management
data integrity
Cryptography
biblio
How Blockchains Can Help Legal Metrology
Submitted by grigby1 on Wed, 05/30/2018 - 4:08pm
blockchain
Human Factors
Internet of Thing
legal metrology
measuring instruments
privacy
pubcrawl
smart grid consumer privacy
Smart Grids
software inspection
biblio
Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems Using Distributed Ledgers
Submitted by grigby1 on Wed, 05/30/2018 - 4:08pm
anonymity
blockchain
Human Factors
Internet of Things
privacy
pubcrawl
security
Smart Grid
smart grid consumer privacy
transactive energy
transactive microgrid
biblio
Security Implications of Blockchain Cloud with Analysis of Block Withholding Attack
Submitted by grigby1 on Thu, 05/24/2018 - 12:30pm
Data mining
security of data
Resiliency
resilience
pubcrawl
Proof-of-work
power grid vulnerability analysis
power grid system
pool reward mechanisms
pool mining
Peer-to-peer computing
Metrics
distributed ledger
Distributed databases
data provenance
block mining
data integrity
Cryptography
Computational modeling
Compositionality
composability
cloud computing services
Cloud Computing
BWH attack
blockchain security and vulnerability
blockchain security
blockchain cloud
blockchain
block withholding attack
block withholding
biblio
Unraveling Blockchain Based Crypto-Currency System Supporting Oblivious Transactions: A Formalized Approach
Submitted by grigby1 on Thu, 05/24/2018 - 12:26pm
blockchain security
anonymization
blockchain
Measurement
Metrics
privacy
privacy models
pubcrawl
« first
‹ previous
…
46
47
48
49
50
51
52
53
54
next ›
last »
