1. Security and privacy in decentralized energy trading through multi-signatures, blockchain and anonymous messaging streams;Aitzhan;IEEE Trans. Dependable Secur. Comput.,2016
2. Hyperledger fabric: a distributed operating system for permissioned blockchains;Androulaki,2018
3. How utilities are using blockchain to modernize the grid;Basden;Harv. Bus. Rev.,2017
4. Developing multi-agent systems with JADE;Bellifemine,2000
5. Formal verification of smart contracts: short paper;Bhargavan,2016