Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Description

This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware. Front Matter ....Pages I-XXXIII Front Matter ....Pages 1-1 Program Analyses Using Newton’s Method (Invited Paper) (Thomas Reps)....Pages 3-16 Front Matter ....Pages 17-17 Formalizing and Implementing Distributed Ledger Objects (Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar, Nicolas Nicolaou)....Pages 19-35 On the Unfairness of Blockchain (Rachid Guerraoui, Jingjing Wang)....Pages 36-50 Weak Failures: Definitions, Algorithms and Impossibility Results (Gadi Taubenfeld)....Pages 51-66 Complete Visibility for Oblivious Robots in \(\mathcal{O}(N)\) Time (Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay)....Pages 67-84 Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards (Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue)....Pages 85-99 Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models (Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour)....Pages 100-104 Front Matter ....Pages 105-105 On Helping and Stacks (Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto)....Pages 107-121 Anonymity in Distributed Read/Write Systems: An Introductory Survey (Michel Raynal, Jiannong Cao)....Pages 122-140 An Anonymous Wait-Free Weak-Set Object Implementation (Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa)....Pages 141-156 Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems (Sathya Peri, Ajay Singh, Archit Somani)....Pages 157-174 Unleashing and Speeding Up Readers in Atomic Object Implementations (Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann)....Pages 175-190 Optimal Recoverable Mutual Exclusion Using only FASAS (Prasad Jayanti, Siddhartha Jayanti, Anup Joshi)....Pages 191-206 Front Matter ....Pages 207-207 Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols (Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando)....Pages 209-224 On Verifying TSO Robustness for Event-Driven Asynchronous Programs (Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy)....Pages 225-239 Model Checking Dynamic Pushdown Networks with Locks and Priorities (Marcio Diaz, Tayssir Touili)....Pages 240-251 Front Matter ....Pages 253-253 OSM-GKM Optimal Shared Multicast-Based Solution for Group Key Management in Mobile IPv6 (Youssef Baddi, Mohamed Dafir Ech-cherif El Kettani)....Pages 255-269 A Game-Theoretic Approach for the Internet Content Distribution Chain (Driss Ait Omar, Mohamed El Amrani, Mohamed Baslam, Mohamed Fakir)....Pages 270-285 New Competition-Based Approach for Caching Popular Content in ICN (Hamid Garmani, M’hamed Outanoute, Mohamed Baslam, Mostafa Jourhmane)....Pages 286-300 Front Matter ....Pages 301-301 Churn Possibilities and Impossibilities (Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil)....Pages 303-317 Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness (Iosif Salem, Elad Michael Schiller)....Pages 318-333 Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching (Michiko Inoue, Sébastien Tixeuil)....Pages 334-339 Front Matter ....Pages 341-341 Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions (Ahmed Khoumsi, Mohammed Erradi)....Pages 343-357 Short Paper: Stress-SGX: Load and Stress Your Enclaves for Fun and Profit (Sébastien Vaucher, Valerio Schiavoni, Pascal Felber)....Pages 358-363 Short Paper: Application of Noisy Attacks on Image Steganography (Ayidh Alharbi, Tahar M. Kechadi)....Pages 364-368 Front Matter ....Pages 369-369 A Measure for Quantifying the Topological Structure of Some Networks (Meryam Zeryouh, Mohamed El Marraki, Mohamed Essalih)....Pages 371-381 Short Paper: Maintenance of Strongly Connected Component in Shared-Memory Graph (Muktikanta Sa)....Pages 382-387 Front Matter ....Pages 389-389 Comparative Analysis of Our Association Rules Based Approach and a Genetic Approach for OLAP Partitioning (Khadija Letrache, Omar El Beggar, Mohammed Ramdani)....Pages 391-403 Short Paper: IoT Context-Driven Architecture: Characterization of the Behavioral Aspect (Radia Belkeziz, Zahi Jarir)....Pages 404-409 Back Matter ....Pages 411-412