Developing secure bitcoin contracts with BitML.

Nicola Atzei Massimo Bartoletti Stefano Lande Nobuko Yoshida Roberto Zunino

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

case study
trusted third party
data sets
cryptographic protocols
moral hazard
neural network
data mining
end users
low cost
security issues
security requirements
authentication scheme