Implementation of smart contracts for blockchain based IoT applications. - Georgios Papadodimas; Georgios Palaiokrassas; Antonios Litke; Theodora A. Varvarigou (NOF, 2018)