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
Securify: Practical Security Analysis of Smart Contracts
Submitted by
grigby1
on Fri, 06/28/2019 - 10: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 - 10: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 - 9: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 - 9: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 - 10: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 - 11: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 - 4: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
biblio
A Design of Cyber-Physical Production System Prototype Based on an Ethereum Private Network
Submitted by
grigby1
on Wed, 11/14/2018 - 1:19pm
contracts
CPPS backbone network
cryptocurrency
Cryptography
cyber-physical production system prototype
cyber-physical production systems
cyber-physical systems
data privacy
electronic money
Ethereum private blockchain system
Ethereum private network
expert systems
Human Factors
identity verification services
Internet of Things
manufacturing systems
privacy
Production
production engineering computing
Protocols
pubcrawl
Scalability
smart contracts
standards
biblio
Market-based Security for Distributed Applications
Submitted by
grigby1
on Wed, 09/05/2018 - 10:51am
security
software security
game theory
Human behavior
Scalability
resilience
Resiliency
Human Factors
Control Theory
financial derivatives
smart contracts
biblio
Town Crier: An Authenticated Data Feed for Smart Contracts
Submitted by
grigby1
on Tue, 10/03/2017 - 11:50am
authenticated data feeds
bitcoin
bitcoin security
ethereum
Human behavior
Intel SGX
pubcrawl
Ransomware
Resiliency
Scalability
security
smart contracts
trusted hardware
