Program

Details:

Session 1: Concurrent Systems

• - Raphaël Barazzutti, Yaroslav Hayduk, Pascal Felber and Etienne Rivière. Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading.
• - Gadi Taubenfeld. Waiting in Concurrent Algorithms.
• - Carole Delporte-Gallet and Hugues Fauconnier. Asynchronous Consensus with Bounded Memory.
• - Suha Orhun Mutluergil and Serdar Tasiran. A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System.

Session 2: Security

• - Muqeet Ali, Rezwana Reaz and Mohamed Gouda. Nonrepudiation Protocols without a Trusted Party.
• - Ahmed Khoumsi, Mohammed Erradi, Meryeme Ayache and Wadie Krombi. An Approach to Resolve NP-Hard Problems of Firewalls.
• - Oliver Jensen, Tyler O’Meara and Mohamed Gouda. Securing NFC Credit Card Payments against Malicious Retailers.

Session 3: Networking

• - Elgarej Mouhcine, Mansouri Khalifa and Youssfi Mohamed. Traffic Lights Optimization with Distributed Ant Colony Optimization Based on Multi-Agent System.
• - Ruma Paul, Peter Van Roy and Vladimir Vlassov. Reversible Phase Transitions in a Structured Overlay Network with Churn.
• - Maroua Drissi, Oumsis Mohammed and Driss Aboutajdine. A Fuzzy AHP Approach to Network Selection Improvement in Heterogeneous Wireless Networks.

Session 4: Fault Tolerance

• - Achour Mostéfaoui and Michel Raynal. Time-Efficient Read/Write Operations in Crash-prone Message-Passing Systems.
• - Khaled Ben Hafaiedh, Gregor Bochmann, Guy-Vincent Jourdan and Iosif Viorel Onut. Fault Tolerant P2P RIA Crawling.
• - Niklas Ekström and Seif Haridi. A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof.

Session 5: Data Structures

• - Evgenia Christoforou, Antonio Fernandez Anta, Chryssis Georgiou and Miguel A. Mosteiro. Internet Computing: Using Reputation to Select Workers from a Pool.
• - Maria Carpen-Amarie, Dave Dice, Gaël Thomas and Pascal Felber. Transactional Pointers: Experiences with HTM-based Reference Counting in C++.
• - (short) Fouad Yakoubi and Mohamed El Marraki. Number of Spanning Trees in Corona Product of Planar Graph and S-chain Graph.
• - (short) Zouheir Labbi, Ahmed Maarof, Mohamed Senhadji and Mostafa Belkasmi. Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID systems.

Session 6: Protocols

• - Quentin Bramas and Sebastien Tixeuil. Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks.
• - Alami Chaibrassou and Ahmed Mouhsen. A Multi-Channel Energy Efficient Cooperative MIMO Routing Protocol for Clustered WSNs.
• - (short) Imane Zaimi, Zineb Squalli Houssaini, Abdelali Boushaba, Mohammed Oumsis and Driss Aboutajdine. Vehicular Ad-hoc Network: Evaluation of QoS and QoE for Multimedia Application.
• - (short) Maitri Chakraborty, Alessia Milani and Miguel A. Mosteiro. Counting in Practical Anonymous Dynamic Networks is Polynomial.

Session 7: Efficiency and Optimization

• - Yahya Benkaouz, Mohammed Erradi and Anne-Marie Kermarrec. Nearest Neighbors Graph Construction: Peer Sampling to the rescue.
• - Javier Olivares, Nitin Chiluka and Anne-Marie Kermarrec. The Out-of-core KNN awakens: The light side of computation force on large datasets.
• - (short) Nada Sbihi and Mounir Ghogho. Is Youtube popularity prediction a good way to improve caching efficiency?

Session 8: Predictability

• - Antoine Blin, Cedric Courtaud, Julien Sopena, Julia Lawall and Gilles Muller. Understanding the memory consumption of the MiBench embedded benchmark.
• - Sara El Aouad, Christophe Dupuy, Renata Teixeira, Francis Bach and Christophe Diot. Exploiting crowd sourced reviews to explain movie recommendation.
• - (short) Anass Rachdi, Abdeslam Ennouaary and Mohamed Dahchour. Verification of Common Business Rules in BPMN Process Models.

Session 9: Models and Proofs

• - (short) Asma El Hamzaoui, Hicham Bensaid and Abdeslam En-Nouaary. A formal model for WebRTC signaling using SDL.
• - (short) Rachid Oucheikh, Ismail Berrada and Outman Elhichami. The 4-Octahedron Abstract Domain.
• - (short) Sanae El Mimouni and Bouhdadi Mohamed. An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol.
• - (short) Aissam Berrahou. Accurate Optimization Method for Allocation of Heterogeneous Resources in Embedded Systems.

Poster Session 1

• - Soufiane Elmoumni, Mohamed Fettach and Abderrahim Tragha. The Impact of Unrolling technique on FPGA Implementation Performance of Keccak Hash Function.
• - Bouchra Echandouri, Youssef Gahi, Mouhcine Guennoun and Fouzia Omary. A Secure Processor Using Homomorphic Encryption Schemes.
• - Nora Ben Haddou, Hamid Ez-Zahraouy and Abdelilah Benyoussef. An adaptive routing scheme in scale-free networks.
• - Yasmina Bensitel and Rahal Romadi. Hybrid Homomorphic Encryption for Privacy-Preserving data in the Cloud.
• - Abdessamad Elboushaki, Rachida Hannane, Karim Afdel and Lahcen Koutti. Exploiting depth and color information for static hand gesture recognition.
• - Rachida Hannane, Abdessamad Elboushaki and Karim Afdel. A Keyframe extraction method using entropy based singular values.
• - Mohamed Toumi, Abderrahim Maizate and Mohammed Ouzzif. Dynamic clustering algorithm for tracking targets with high and variable celerity.
• - Younes Driouch, Abdellah Boulouz, Mohamed Ben Salah and Congduc Pham. IoT for livestock monitoring in the desert.
• - Issam Elaalyani and Mohammed Erradi. Deep Neural Networks in Medical Images.

Poster Session 2

• - Salma Ibnalfakih, Essaid Sabir and Mohammed Sadik. The Integration of Multi-homing in 5G Wireless Networks.
• - Anas El-ansari, Abderrahim Beni-hssane and Mostafa Saadi. An ontology based social search system.
• - Fouad Benamrane, Mouad Ben Mamoun, and Redouane Benaini. Communication Interface for Distributed SDN controllers: Implementation and Evaluation.
• - Najoua Ayache, Ali yahyaouy, and Sabri My Abdelouahed. Towards An Autonomous Vehicular System Based on Muli-agents Control.
• - Mohamed Amine Madani and Mohammed Erradi. ABAC Model for Collaborative Cloud Services.
• - Zahid Soufiane, En-Nouaary Abdeslam and Bah Slimane. Performance Evaluation of Smart Grid Communication Infrastructure.
• - Badreddine Cherkaoui, Abderrahim Beni-Hssane and Mohammed Erritali. Performance Analysis of Black Hole Attack in Vehicular Ad-hoc Networks.
• - Imane Tamimi and Mohamed El Kamili. Combining Information Diffusion and Content Sharing to Detect Communities in Social Networks.
• - Hayat Khaloufi, Abderrahim Beni-Hssane, Karim Abouelmehdi and Mostafa Saadi. A Review on Big data and Hadoop security.
• - Ali Aghmadi, Mohammed Erradi and Abdellatif Kobbane. SNA, Detecting Influencers Over Social Networks.