NECTAR: Non-Interactive Smart Contract Protocol Using Blockchain Technology. - Alexandra Covaci; Simone Madeo; Patrick Motylinski; Stéphane Vincent (WETSEB@ICSE, 2018)