Developing secure Bitcoin contracts with BitML.

Nicola Atzei Massimo Bartoletti Stefano Lande Nobuko Yoshida Roberto Zunino

Published in: CoRR (2019)

Keyphrases

credit card
neural network
supply chain
databases
genetic algorithm
security issues
lightweight
multi party
key management
trusted third party