Formal verification of smart contracts using interface automata
- Gabor Madl
- Luis Bathen
- et al.
- 2019
- Blockchain 2019
Publications
Date
Featured collections
Popular topics
6 results at Blockchain 2019
Initial Public Offering (IPO) on permissioned blockchain using secure multiparty computation
- Tzipora Halevi
- Fabrice Benhamouda
- et al.
- 2019
- Blockchain 2019
Ownership preserving AI market places using blockchain
- Nishant Baranwal Somy
- Kalapriya Kannan
- et al.
- 2019
- Blockchain 2019
Lockless transaction isolation in hyperledger fabric
- Hagar Meir
- Artem Barger
- et al.
- 2019
- Blockchain 2019
Endorsement in hyperledger fabric
- Elli Androulaki
- Angelo De Caro
- et al.
- 2019
- Blockchain 2019
BlockIPFS - Blockchain-enabled interplanetary file system for forensic and trusted data traceability
- Emmanuel Nyaletey
- Reza M. Parizi
- et al.
- 2019
- Blockchain 2019