Number 110 July 2017 ERCIM NEWS www.ercim.eu Special theme Blockchain Engineering Also in this issue: Research and Innovation: Machine Learning in IoT for Autonomous, Adaptive Sens ing Editorial Information Contents ERCIM News is the magazine of ERCIM. Published quar - terly, it reports on joint actions of the ERCIM partners, and JoINT ERCIM ACTIoNS SPECIAL THEME aims to reflect the contribution made by ERCIM to the European Community in Information Technology and Applied 4 ERCIM Membership The special theme section Mathematics. Through short articles and news items, it pro - “Blockchain Engineering” has been vides a forum for the exchange of information between the 5 First ERCIM Workshop on coordinated by Elli Andoulaki (IBM institutes and also with the wider scientific community. This Blockchain Technology Research – Zurich), Matthias Jarke issue has a circulation of about 6,000 printed copies and is (RWTH Aachen University & Fraunhofer also available online. 5 ERCIM “Alain Bensoussan” FIT) and Jean-Jacques Quisquater Fellowship Programme (Université catholique de Louvain, ERCIM News is published by ERCIM EEIG Belgium, and research affiliate at MIT) BP 93, F-06902 Sophia Antipolis Cedex, France 5 HORIZON 2020 Project Tel: +33 4 9238 5010, E-mail: [email protected] Management 6 Blockchain Engineering - Director: Philipp Hoschka, ISSN 0926-4981 Introduction to the Special Theme Contributions by Elli Andoulaki (IBM Research – Contributions should be submitted to the local editor of your Zurich), Matthias Jarke (RWTH country Aachen University & Fraunhofer FIT) and Jean-Jacques Quisquater Copyrightnotice (Université catholique de Louvain, All authors, as identified in each article, retain copyright of their Belgium, and research affiliate at work. ERCIM News is licensed under a Creative Commons MIT) Attribution 4.0 International License (CC-BY). Invited articles Advertising 8 Blockchains for Everybody: For current advertising rates and conditions, see Individuals, Companies, States http://ercim-news.ercim.eu/ or contact [email protected] and Democracy by Jean-Jacques Quisquater ERCIMNewsonlineedition (Université catholique de Louvain, http://ercim-news.ercim.eu/ Belgium, and research affiliate at MIT) Nextissue October 2017, Special theme: Digital Humanities 9 Permissioned Blockchains and Hyperledger Fabric Subscription by Elli Androulaki, Christian Subscribe to ERCIM News by sending an email to Cachin, Angelo De Caro, [email protected] or by filling out the form at the Alessandro Sorniotti and Marko ERCIM News website: http://ercim-news.ercim.eu/ Vukolic (IBM Research, Zurich) EditorialBoard: Cryptocurrencies Central editor: 10 Bitcoin – Cryptocurrencies and Peter Kunz, ERCIM office ([email protected]) Alternative Applications Local Editors: by Aljosha Judmayer, Alexei Austria: Erwin Schoitsch ([email protected]) Zamyatin, Nicholas Stifter and Belgium:Benoît Michel ([email protected]) Edgar Weippl (SBA Research) Cyprus: Ioannis Krikidis ([email protected]) France: Steve Kremer ([email protected]) 12 Identity Managenent on the Germany: Michael Krapp ([email protected]) Bitcoin Blockchain Greece: Eleni Orphanoudakis ([email protected]), by Daniel Augot (Inria, École Artemios Voyiatzis ([email protected]) polytechnique, and Université Hungary: Andras Benczur ([email protected]) Paris-Saclay), Hervé Chabanne Italy: Maurice ter Beek ([email protected]) (OT-Morpho and Telecom Luxembourg: Thomas Tamisier ([email protected]) Paristech) and William George Norway: Poul Heegaard ([email protected]) (École polytechnique and Poland: Hung Son Nguyen ([email protected]) Université Paris-Saclay) Portugal: José Borbinha, Technical University of Lisbon ([email protected]) 13 SpaceMint: A Cryptocurrency Spain: Silvia Abrahão ([email protected]) Based on Proofs of Space Sweden: Kersti Hedman ([email protected]) by Georg Fuchsbauer (Inria) Switzerland: Harry Rudin ([email protected]) The Netherlands: Annette Kik ([email protected]) W3C: Marie-Claire Forgue ([email protected]) ERCIM NEWS 110 July 2017 14 Coinblesk – A Real-time, Bitcoin- 27 Blockchain-enabled Intelligent RESEARCH ANd INNovATIoN based Payment Approach and Asset Exchange for a Circular App Economy This section features news about by Thomas Bocek, Sina Rafati, by Ioannis Askoxylakis (FORTH), research activities and innovative Bruno Rodrigues and Burkhard George Alexandris (Bournemouth developments from European Stiller (University of Zürich) University) and Giorgos Demetriou research institutes (Ecole de Ponts Business School) 15 Bitcoin Unchained 38 Machine Learning in IoT for by Christopher Carr, Colin Boyd 28 Blockchain and Autonomous Autonomous, Adaptive Sensing (NTNU), Xavier Boyen and Institutions by Frank Alexander Kraemer, Thomas Haines (QUT) by Mariusz Nowostawski (NTNU) Nattachart Tamkittikhun and Anders Eivind Braten (NTNU) Contracts and workflows 29 Self-Sovereign Identity 17 A Holistic Approach to Smart Framework and Blockchain 40 Cache-aware Roofline Model in Contract Security by Rieks Joosten (TNO) Intel® Advisor by Nicholas Stifter, Aljosha by Leonel Sousa and Aleksandar Judmayer, and Edgar Weippl (SBA Security and privacy Ilic (INESC-ID) Research) 31 Distributed Access Control Through Blockchain Technology 41 Lightweight Random Indexing 18 Correctness of Smart Contracts by Damiano Di Francesco Maesa, for Polylingual Text Classification for Consistency Enforcement Laura Ricci (Università di Pisa) and by Alejandro Moreo Fernandez, by Thomas Osterland and Thomas Paolo Mori (IIT-CNR) Andrea Esuli and Fabrizio Rose (Fraunhofer FIT) Sebastiani (ISTI-CNR) 32 Blockchain Ensures 19 Implementation of a Blockchain Transparency in Personal Data 42 Real Flight Demonstration of Workflow Management Usage: Being Ready for the New Monocular Image-Based Aircraft Prototype EU General Data Protection Sense and Avoid by Gilbert Fridgen (Fraunhofer Regulation by Péter Bauer, Antal Hiba, Bálint FIT), Bernd Sablowsky by Uwe Roth (Luxembourg Daróczy, Márk Melczer, Bálint (Norddeutsche Landesbank) and Institute of Science and Vanek (MTA SZTAKI) Nils Urbach (Fraunhofer FIT) Technology, LIST) 43 Use-cases Covered by an 21 Proofs of Work - the Engines of 34 Flexible Transparency: A Privacy Enhanced Virtual Research Trust Enabler in Blockchain Environment by Alex Biryukov (University of Technologies by Valerie Brasse (IS4RI) Luxembourg) by Maria Christofi (Trusted Labs) and Aline Gouget (Gemalto) 22 Design Requirements for a EvENTS, IN BRIEf Branched Blockchain Merging Blockchain labs Algorithm 35 CWI Joins the Dutch National New Project by Arthur Melissen (Storro B.V.) Blockchain Coalition as a 45 ElasTest: A Cloud-based Platform Founding Member for Testing Large Complex Public sector applications by Eric Pauwels (CWI) Distributed Software Systems 24 Blockchain – Attack on and Chance for the Public Sector 36 Blockchain Lab – Design, Call for Proposals by Christian Welzel (Fraunhofer Implementation and Evaluation 46 Dagstuhl Seminars and FOKUS) of Innovative Business and Perspectives Workshops Process Models 25 How Distributed Ledgers Can by Gilbert Fridgen, Wolfgang Prinz, Call for Participation Transform Healthcare Thomas Rose and Nils Urbach 46 ACM NanoCom 2017 Applications (Fraunhofer FIT) by Angelica Lo Duca, Clara Bacciu, Report Andrea Marchetti (IIT-CNR) 46 IFIP TC6’s Open Digital Library and Conferences by Harry Rudin In Brief 47 New 3D FleX-ray Lab at CWI 47 18.8 Million Euro for Quantum Software Research 47 New ERCIM Board Member s ERCIM NEWS 110 July 2017 3 “Through a long history of successful research collaborations in projects and working groups and a highly-selective mobility programme, ERCIM has managed to become the premier net - ERCIM work of ICT research institutions in Europe. ERCIM has a consis - tent presence in EU funded research programmes conducting Membership and promoting high-end research with European and global impact. It has a strong position in advising at the research pol - After having successfully grown to icy level and contributes significantly to the shaping of EC become one of the most recognized ICT Societies in Europe, ERCIM has opened framework programmes. ERCIM provides a unique pool of membership to multiple member institutes research resources within Europe fostering both the career per country. By joining ERCIM, your development of young researchers and the synergies among research institution or university can established groups. Membership is a privilege. ” directly participate in ERCIM’s activities Dimitris Plexousakis, ICS-FORTH, ERCIM AISBL Board and contribute to the ERCIM members’ common objectives playing a leading role in Information and Communication Technology in Europe: Benefits of Membership • Building a Europe-wide, open network of centres of excellence in ICT and As members of ERCIM AISBL, institutions benefit from: Applied Mathematics; • International recognition as a leading centre for ICT R&D, as member of the • Excelling in research and acting as a ERCIM European-wide network of centres of excellence; bridge for ICT applications; • More influence on European and national government R&D strategy in ICT. • Being internationally recognised both as ERCIM members team up to speak with a common voice and produce strategic a major representative organisation in its reports to shape the European research agenda; field and as a portal giving access to all • Privileged access to standardisation bodies, such as the W3C which is hosted by relevant ICT research groups