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
smart contracts
biblio
RDI: Real Digital Identity Based on Decentralized PKI
Submitted by
aekwall
on Mon, 11/18/2019 - 10:49am
automobiles
Scalability
authorisation
Resiliency
Human behavior
pubcrawl
Metrics
blockchain
smart contract
message authentication
smart contracts
Public key
public key cryptography
Registers
Brute-force Attack
decentralized PKI
decentralized PKI scheme
Digital identity
Internet banking applications
Online banking
online transactions
point of trust attack
public key approach
public key binding
RDI
Real Digital Identity based approach
trusted source certificate authorities
username-password approach
PKI Trust Models
biblio
Blockchain-Based PKI Solutions for IoT
Submitted by
aekwall
on Mon, 11/18/2019 - 10:48am
IoT
computer network security
Scalability
Internet of Things
data integrity
Protocols
Trusted Computing
Resiliency
Human behavior
pubcrawl
bitcoin
Peer-to-peer computing
Metrics
blockchain
smart contracts
Public key
public key cryptography
public key infrastructure
blockchain-based alternatives
blockchain-based PKI solutions
certification authority
consensus protocols
decentralized trusted third parties
Emercoin Name Value Service
Ethereum blockchain
Ethereum Light Sync client
peer-to-peer data store
public key certificates
publicly verifiable trusted third parties
robust PKI
scalable PKI
PKI Trust Models
biblio
FairSwap: How To Fairly Exchange Digital Goods
Submitted by
grigby1
on Thu, 09/26/2019 - 9:42am
resilience
pubcrawl
Human behavior
Metrics
Resiliency
composability
Human Factors
smart contracts
provable security
blockchain based protocols
distributed file sharing
fair exchange
fairness
Secure File Sharing
biblio
Securify: Practical Security Analysis of Smart Contracts
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Compositionality
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
Security analysis
smart contracts
stratified datalog
verification
biblio
A Formal Verification Tool for Ethereum VM Bytecode
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Compositionality
ethereum
formal verification
K framework
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
smart contracts
biblio
Pervasive Smart Contracts for Blockchains in IoT Systems
Submitted by
aekwall
on Mon, 05/20/2019 - 8:58am
Internet of Things
Resiliency
Human behavior
pubcrawl
composability
Metrics
blockchains
microservices
smart contracts
IoT Security 2018
biblio
BitML: A Calculus for Bitcoin Smart Contracts
Submitted by
aekwall
on Mon, 03/18/2019 - 8:50am
Scalability
Human behavior
pubcrawl
bitcoin
process calculi
smart contracts
bitcoin security
biblio
Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain
Submitted by
aekwall
on Mon, 03/11/2019 - 9:38am
Analytical models
Application Layer
blockchain
collaboration
composability
data layer
Distributed databases
Economics
industrial cluster
industrial cluster network platform
Industries
information service platform
Information services
information trustworthiness
network platform
optimisation
optimization
pubcrawl
security of data
small and medium-sized enterprises
small-to-medium enterprises
smart contracts
Trusted Computing
trustworthiness
trustworthiness optimization
biblio
Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts
Submitted by
grigby1
on Thu, 02/14/2019 - 10:19am
pubcrawl
Metrics
composability
taint analysis
Symbolic Execution
smart contracts
ethereum
integer bugs
biblio
Trustworthy Orchestration of Container Based Edge Computing Using Permissioned Blockchain
Submitted by
grigby1
on Fri, 02/08/2019 - 3:35pm
Cloud Computing
Internet of Things
resilience
pubcrawl
Resiliency
composability
computer architecture
edge computing
Peer-to-peer computing
Trusted Computing
blockchain
IoT devices
cyber physical systems
open systems
accountability
blockchain container based architecture
business network
cloud resources
container based edge computing
Containers
context dependent data analysis
data analysis
decentralized interaction model
EC infrastructures
Internet of Things devices
IoT based applications
permissioned blockchain
Provenance
smart contracts
Stakeholders
trustworthy orchestration
trustworthy transactions
velocity
verity
volume
W3C-PROV data model
Trustworthy Systems
1
2
next ›
last »
