# Distributed Applications and Interoperable Systems

Anne Remke, Valerio Schiavoni

► To cite this version:

Anne Remke, Valerio Schiavoni. Distributed Applications and Interoperable Systems: 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Springer International Publishing, LNCS-12135, 2020, Lecture Notes in Computer Science, 978-3-030-50322-2. 10.1007/978-3-030-50323-9 hal-03223250

HAL Id: hal-03223250

https://inria.hal.science/hal-03223250

Submitted on 10 May 2021

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>
Founding Editors

Gerhard Goos

Karlsruhe Institute of Technology, Karlsruhe, Germany

Juris Hartmanis

Cornell University, Ithaca, NY, USA

Editorial Board Members

Elisa Bertino

Purdue University, West Lafayette, IN, USA

Wen Gao

Peking University, Beijing, China

Bernhard Steffen

TU Dortmund University, Dortmund, Germany

Gerhard Woeginger

RWTH Aachen, Aachen, Germany

Moti Yung

Columbia University, New York, NY, USA
More information about this series at http://www.springer.com/series/7411
Anne Remke · Valerio Schiavoni (Eds.)

Distributed Applications
and Interoperable Systems

20th IFIP WG 6.1 International Conference, DAIS 2020

Held as Part of the 15th International Federated Conference
on Distributed Computing Techniques, DisCoTec 2020

Valletta, Malta, June 15–19, 2020

Proceedings

<figure><img src="image_2.png" /></figure>

Springer
Editors

Anne Remke

University of Münster

Münster, Germany

Valerio Schiavoni

<figure><img src="image_3.png" /></figure>

University of Neuchâtel

Neuchâtel, Switzerland

ISSN 0302-9743

ISSN 1611-3349 (electronic)

Lecture Notes in Computer Science

ISBN 978-3-030-50322-2

ISBN 978-3-030-50323-9 (eBook)

https://doi.org/10.1007/978-3-030-50323-9

LNCS Sublibrary: SL5 – Computer Communication Networks and Telecommunications

© IFIP International Federation for Information Processing 2020

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.

The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.

The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This Springer imprint is published by the registered company Springer Nature Switzerland AG

The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
# Foreword

The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020) took place during June 15–19, 2020. It was organized by the Department of Computer Science at the University of Malta, but was held online due to the abnormal circumstances worldwide affecting physical travel.

The DisCoTec series is one of the major events sponsored by the International Federation for Information Processing (IFIP). It comprises three conferences:

* The IFIP WG6.1 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)

* The IFIP WG6.1 19th International Conference on Distributed Applications and Interoperable Systems (DAIS 2020)

* The IFIP WG6.1 40th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2020)

Together, these conferences cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. As is customary, the event also included several plenary sessions in addition to the individual sessions of each conference, that gathered attendants from the three conferences. These included joint invited speaker sessions and a joint session for the best papers from the respective three conferences.

Associated with the federated event, two satellite events took place:

* The 13th International Workshop on Interaction and Concurrency Experience (ICE 2020)

* The First International Workshop on Foundations of Consensus and Distributed Ledgers (FOCODILE 2020)

I would like to thank the Program Committee chairs of the different events for their help and cooperation during the preparation of the conference, and the Steering Committee and Advisory Boards of DisCoTec and their conferences for their guidance and support. The organization of DisCoTec 2020 was only possible thanks to the dedicated work of the Organizing Committee, including Davide Basile and Francisco “Kiko” Fernández Reyes (publicity chairs), Antonis Achilleos, Duncan Paul Attard, and Ornela Dardha (workshop chairs), Lucienne Bugeja (logistics and finances), as well as all the students and colleagues who volunteered their time to help. Finally, I would like to thank IFIP WG6.1 for sponsoring this event, Springer’s *Lecture Notes in Computer Science* team for their support and sponsorship, EasyChair for providing the reviewing framework, and the University of Malta for providing the support and infrastructure to host the event.

June 2020

Adrian Francalanza
# Preface

This volume contains the papers presented at the 20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2020), sponsored by the IFIP (International Federation for Information Processing) and organized by the IFIP WG6.1. The DAIS conference series addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation, and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.

DAIS 2020 was meant to be held during June 15–19, 2020, in Valletta, Malta, as part of DisCoTec, the 15th International Federated Conference on Distributed Computing Techniques. However, due to the COVID-19 pandemic, the organizers decided to turn the conference into a virtual event to be held completely online.

There were 30 initial abstract registrations for DAIS, which were then followed by 17 full papers. Each submission was reviewed by up to three Program Committee (PC) members. The review process included an in-depth discussion phase, during which the merits of all papers were discussed by the PC. The committee decided to accept ten full papers, one short paper, and one invited paper.

Accepted papers address challenges in multiple application areas, including system support for machine learning, security and privacy issues, experimental reproducibility and fault-tolerance, as well as novel networking approaches for future network generations. Researchers continue the trend of focusing on trusted execution environments, for instance in the case of database systems. Instead, we notice fewer research efforts devoted to blockchain topics.

The virtual conference, especially during these last months full of unpredictable events, was made possible by the work and cooperation of many people working in several committees and organizations, all of which are listed in these proceedings. In particular, we are grateful to the Program Committee members for their commitment and thorough reviews and for their active participation in the discussion phase, and all the external reviewers for their help in evaluating submissions. Finally, we also thankful to the DisCoTec general chair, Adriano Francalanza, and the DAIS Steering Committee chair, Rui Oliveira, for their constant availability, support, and guidance.

June 2020

Anne Remke
Valerio Schiavoni
# Organization

## General Chair

Adrian Francalanza

University of Malta, Malta

## Program Committee Chairs

Anne Remke

University of Münster, Germany

Valerio Schiavoni

University of Neuchâtel, Switzerland

## Steering Committee

Rocco De Nicola

IMT Lucca, Italy

Pascal Felber

University of Neuchâtel, Switzerland

Kurt Geihs

University of Kasel, Germany

Alberto Lluch Lafuente

DTU, Denmark

Kostas Magoutis

ICS-FORTH, Greece

Elie Najm (Chair)

Télécom ParisTech, France

Manuel Núñez

Universidad Complutense de Madrid, Spain

Rui Oliveira

University of Minho, Portugal

Jean-Bernard Stefani

Inria Grenoble, France

Gianluigi Zavattaro

University of Bologna, Italy

## Program Committee

Pierre-Louis Aublin

Keio University, Japan

Sonia Ben Mokhtar

LIRIS-CNRS, France

Sara Bouchenak

INSA, France

Antoine Boutet

INSA, France

Silvia Bonomi

Università degli Studi di Roma La Sapienza, Italy

Damiano Di

University of Cambridge, UK

Francesco Maesa

Davide Frey

Inria, France

Paula Herber

University of Münster, Germany

Mark Jelasity

University of Szeged, Hungary

Evangelia Kalyvianaki

University of Cambridge, UK

Vana Kalogeraki

Athens University of Economics and Business, Greece

Rüdiger Kapitza

Technical University of Braunschweig, Germany

João Leitão

Universidade Nova de Lisboa, Portugal

Daniel Lucani

Aarhus University, Denmark

Miguel Matos

INESC-ID, University of Lisboa, Portugal

Kostas Magoutis

University of Ioannina, Greece
<table><tr><td>Claudio Antares Mezzina</td><td>University of Urbino, Italy</td></tr><tr><td>Alberto Montresor</td><td>University of Trento, Italy</td></tr><tr><td>Daniel OKeeffe</td><td>Royal Holloway University of London, UK</td></tr><tr><td>Emanuel Onica</td><td>Alexandru Ioan Cuza University of Iasi, Romania</td></tr><tr><td>Marta Patino</td><td>Universidad Politecnica de Madrid, Spain</td></tr><tr><td>José Orlando Pereira</td><td>Universidade do Minho, INESC-TEC, Portugal</td></tr><tr><td>Hans P. Reiser</td><td>University of Passau, Germany</td></tr><tr><td>Etienne Riviére</td><td>École Polytechnique de Louvain, Belgium</td></tr><tr><td>Romain Rouvoy</td><td>University of Lille 1, France</td></tr><tr><td>Pierre Sutra</td><td>Télécom SudParis, France</td></tr><tr><td>Spyros Voulgaris</td><td>Athens University of Economics and Business, Greece</td></tr></table>

## Additional Reviewers

<table><tr><td>Isabelly Rocha</td><td>University of Neuchâtel, Switzerland</td></tr><tr><td>Philipp Eichhammer</td><td>University of Passau, Germany</td></tr><tr><td>Christian Berger</td><td>University of Passau, Germany</td></tr><tr><td>Vania Marangozova-Martin</td><td>IMAG, France</td></tr></table>

## DisCoTec Organizing Committee

<table><tr><td>Adrian Francalanza<br>(General Chair)</td><td>University of Malta, Malta</td></tr><tr><td>Davide Basile<br>(Publicity Chair)</td><td>ISTI-CNR, Italy</td></tr><tr><td>Kiko Fernández-Reyes<br>(Publicity Chair)</td><td>Uppsala University, Sweden</td></tr><tr><td>Antonis Achilleos<br>(Workshops Chair)</td><td>Reykjavik University, Iceland</td></tr><tr><td>Duncan Attard<br>(Workshops Chair)</td><td>University of Malta, Malta</td></tr><tr><td>Ornela Dardha<br>(Workshops Chair)</td><td>University of Glasgow, UK</td></tr><tr><td>Lucienne Bugeja (Logistics)</td><td>University of Malta, Malta</td></tr></table>
# Contents

## Privacy and Security

On the Trade-Offs of Combining Multiple Secure Processing Primitives for Data Analytics. 3
Hugo Carvalho, Daniel Cruz, Rogério Pontes, João Paulo, and Rui Oliveira

Capturing Privacy-Preserving User Contexts with INDOORHASH 21
Lakhdar Meftah, Romain Rouvoy, and Isabelle Chrisment

## Cloud and Systems

Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection. 41
Benjamin Taubmann and Hans P. Reiser

Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment. 55
Giannis Tzouros and Vana Kalogeraki

TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores. 73
Vikas Jaiman, Sonia Ben Mokhtar, and Etienne Rivière

## Fault-Tolerance and Reproducibility

Building a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report). 95
Ana Nunes Alonso, João Abreu, David Nunes, André Vieira, Luiz Santos, Tércio Soares, and José Pereira

A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report). 104
Fábio Silva, Ana Alonso, José Pereira, and Rui Oliveira

Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems: Tutorial Paper. 121
Miguel Matos
## Machine Learning for Systems

Self-tunable DBMS Replication with Reinforcement Learning 131
Luís Ferreira, Fábio Coelho, and José Pereira

DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems 148
Yérom-David Bromberg and Louison Gitzinger

## Distributed Algorithms

A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains 169
Guillaume Fraysse, Jonathan Lejeune, Julien Sopena, and Pierre Sens

A Self-stabilizing One-To-Many Node Disjoint Paths Routing Algorithm in Star Networks 186
Rachid Hadid and Vincent Villain

Author Index 205