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
file
Coblenz_Can_Advanced_Type_Systems_Be_Usable_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
typestate
smart contracts
permissions
ownership
linear types
empirical studies of programming languages
blockchain
assets
Obsidian Language for Blockchain
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
A distributed biometric authentication scheme based on blockchain
Submitted by aekwall on Tue, 03/09/2021 - 11:56am
homomorphically encrypted form
wearable computers
usability
smart contracts
sensitive users
sensitive biometric data
secure authentication
Scalability
Resiliency
pubcrawl
privacy
nonencrypted form
modern computing systems
Metrics
message authentication
biometric encryption
Homomorphic encryption
enhanced usability
encryption
Distributed databases
distributed biometric authentication
Cryptography
cautious handling
blockchain
biometrics (access control)
biometric templates
biometric
authorisation
authentication
biblio
A Decentralized, Privacy-preserving and Crowdsourcing-based Approach to Medical Research
Submitted by grigby1 on Thu, 03/04/2021 - 3:06pm
medical computing
ZK-SNARK
zero-knowledge proof
zero trust
zero knowledge argument of knowledge
verifiable computation
Trusted Computing
smart contracts
Scalability
Resiliency
resilience
pubcrawl
privacy
policy-based governance
mutual trust
medical research
blockchain
machine learning
Human Factors
health data privacy
faces
distributed processing
Distributed databases
decentralized platform
data privacy
cybernetics
Cryptography
crowdsourcing platform
crowdsourcing
commitment schemes
commit-and-prove
blockchains
biblio
A Comparative Survey on Blockchain Based Self Sovereign Identity System
Submitted by grigby1 on Wed, 02/03/2021 - 2:01pm
Medical services
smart contracts
self sovereign identity
Scalability
Resiliency
resilience
Public key
pubcrawl
privacy
Identity management
internet
Human Factors
Human behavior
honey pots
Honey Pot
Cryptography
blockchain
biblio
I Can Get Some Satisfaction: Fuzzy Ontologies for Partial Agreements in Blockchain Smart Contracts
Submitted by aekwall on Mon, 01/18/2021 - 11:26am
Semantics
Fuzzy Cryptography
partial agreement
Pareto-optimal solutions
Fuzzy sets
fuzzy ontology reasoning task
fuzzy ontologies
blockchain smart contracts
best satisfiability degree
Pareto optimisation
blockchain systems
fuzzy reasoning
Ethereum blockchain
inference mechanisms
Scalability
cognition
contracts
smart contracts
fuzzy set theory
cryptocurrencies
ontologies (artificial intelligence)
blockchain
Metrics
Cryptography
pubcrawl
Resiliency
Task Analysis
Ontologies
biblio
Design of Trusted B2B Market Platforms using Permissioned Blockchains and Game Theory
Submitted by grigby1 on Wed, 12/02/2020 - 2:15pm
secure B2B collaboration
Human behavior
Human Factors
insert
online business-to-business collaboration platforms
permissioned blockchain
privacy
privacy preservation
private B2B collaboration
pubcrawl
Games
smart contracts
Strategic Agents
style
styling
trust
trusted B2B market platforms
trusted collaboration
Trusted Computing
cryptographic regulation protocols
blockchain
business data processing
business sensitive information
collaboration
competitive agents
component
Computing Theory
contracts
Cryptographic Protocols
adequate transparency
data privacy
deep business logic
electronic commerce
enterprise buyers
enterprise sellers
formatting
game theoretic modeling
game theory
biblio
Malware Containment in Cloud
Submitted by grigby1 on Wed, 12/02/2020 - 2:14pm
graph neural networks
Trusted Computing
trust
smart contracts
pubcrawl
protection mechanisms
Privacy-invasive software
malware
invasive software
hyperledger
Human Factors
Human behavior
high risk trust assumptions
graph theory
blockchain
graph analytics
Dominance Frontier
Distributed databases
decentralized malware containment
Cryptography
contracts
containment process
Containment
Computing Theory
cloud computing environments
Cloud Computing
business processes
biblio
Decentralized Labor Record System Based on Wavelet Consensus Protocol
Submitted by grigby1 on Tue, 12/01/2020 - 2:01pm
Human behavior
wavelet consensus protocol
wavelet blockchain platform
Turing complete smart contracts platform
smart contracts
recruitment
pubcrawl
Portfolios
labour resources
labor record
labor market problems
job market
internet
human trust
blockchain
employment data
employment conditions
Employment
directed graphs
directed acyclic graph system
decentralized labor record system
contracts
consensus protocol
Companies
blockchain solutions
blockchain based system
blockchain based labor record systems
biblio
GEMˆ2-Tree: A Gas-Efficient Structure for Authenticated Range Queries in Blockchain
Submitted by aekwall on Mon, 11/16/2020 - 1:11pm
outsourcing
unique gas cost model
trusted storage
range query
meta-data
immutability property
hybrid-storage blockchain
hybrid storage architecture
GEM2-tree
gas-efficient structure
authenticated range queries
Authenticated query
authenticated data structure
ADS maintenance cost
smart contract
Outsourced Database Integrity
Cryptography
storage management
blockchain technology
Indexes
smart contracts
Distributed databases
data structures
query processing
consensus protocol
blockchain
Metrics
composability
pubcrawl
Resiliency
Data models
data integrity
« first
‹ previous
…
6
7
8
9
10
11
12
13
14
next ›
last »
