Description
Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 22–24, 2023.
The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions.
The scope of the conference covers all aspects related to the design and the development of these systems, including, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning, multi-core architectures, networks, and security.
Table of ContentsMachine Learning.- Detection of Fake News Through Heterogeneous Graph Interactions.- Species Recognition via Active Learning.- Federated Graph Neural Network for Threat Intelligence.-
Formal Methods.- A Formal Analysis of Karn’s Algorithm.- Comparing Causal Convergence Consistency Models.-
Security & Privacy.- Encrypted search is not enough to ensure privacy.- Case Study on the Performance of ML-Based Network Intrusion Detection Systems in SDN.- Beyond Locks and Keys: Structural Equation Modeling based Framework to Explore Security Breaches through the Lens of Crime Theories.-
Fault Tolerance.- Consensus on Unknown Torus with Dense Byzantine Faults.-
Distributed Systems.- Approximation Algorithms for Drone Delivery Scheduling Problem.- Pebble guided Treasure Hunt in Plane.- Distance-2-Dispersion: Dispersion with Further Constraints.
