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
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
Pervasive Computing Security
blockchains
composability
Human behavior
Internet of Things
IoT Security 2018
Metrics
microservices
pubcrawl
Resiliency
smart contracts
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
Information services
trustworthiness optimization
trustworthiness
Trusted Computing
smart contracts
small-to-medium enterprises
small and medium-sized enterprises
security of data
pubcrawl
optimization
optimisation
network platform
information trustworthiness
Analytical models
information service platform
Industries
industrial cluster network platform
industrial cluster
Economics
Distributed databases
data layer
composability
collaboration
blockchain
Application Layer
biblio
Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
ethereum
integer bugs
Metrics
pubcrawl
smart contracts
Symbolic Execution
taint analysis
biblio
Trustworthy Orchestration of Container Based Edge Computing Using Permissioned Blockchain
Submitted by grigby1 on Fri, 02/08/2019 - 4:35pm
smart contracts
Metrics
network accountability
open systems
Peer-to-peer computing
permissioned blockchain
Provenance
pubcrawl
resilience
Resiliency
IoT devices
Stakeholders
Trusted Computing
trustworthy orchestration
Trustworthy Systems
trustworthy transactions
velocity
verity
volume
W3C-PROV data model
context dependent data analysis
blockchain
blockchain container based architecture
business network
Cloud Computing
cloud resources
composability
computer architecture
container based edge computing
Containers
accountability
cyber physical systems
data analysis
decentralized interaction model
EC infrastructures
edge computing
Internet of Things
Internet of Things devices
IoT based applications
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
Human Factors
standards
smart contracts
Scalability
pubcrawl
Protocols
production engineering computing
Production
privacy
manufacturing systems
Internet of Things
identity verification services
contracts
expert systems
Ethereum private network
Ethereum private blockchain system
electronic money
data privacy
cyber-physical systems
cyber-physical production systems
cyber-physical production system prototype
Cryptography
cryptocurrency
CPPS backbone network
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
« first
‹ previous
…
6
7
8
9
10
11
12
13
14
