Cryptography Sensor networks Optimisation Intrusion detection Security Energy efficiency Wireless sensor network Internet of Things VANET Virtualization Wireless networks NFV Event-B Mobility LTE Formal methods Resource allocation Service composition Deep learning Ontologies Internet of things Distributed systems Energy consumption SIP Augmented Reality Monitoring Semantics Scalability Routing Formal verification Business process Web services Software engineering Performance analysis Trust Reputation Optimization P2P MPEG-4 Machine learning Hidden Markov chains Computer networks Indoor positioning NGN Blockchain Simulation Ontology Cloud Social networks Performance evaluation Modeling Passive testing Quality of service Triplet Markov chains Pervasive computing 5G Testing Verification SDN Conformance testing Wireless sensor networks Artificial intelligence Ubiquitous computing Particle filtering Data mining QoE Biometrics Sécurité QoS Cloud Computing MPEG Model checking Anomaly detection Indoor localization MANETs Cloud computing Authentication Context IoT Privacy RFID Internet des objets Context-awareness Semantic web Middleware WSN Hidden Markov models Signal processing IMS Reinforcement learning Access control Clustering Network security Classification Data security Compression Performance Interoperability SVM Social media