Login / Signup
A reputation-based contract for repeated crowdsensing with costly verification.
Donya Ghavidel Dobakhshari
Parinaz Naghizadeh
Mingyan Liu
Vijay Gupta
Published in:
ACC (2017)
Keyphrases
</>
moral hazard
supply chain
model checking
verification method
error prone
trust model
signature verification
formal verification
website
high cost
face verification
data sets
asynchronous circuits
reputation management
usage control
functional verification
formal methods