-
Contributions for the Security in Mobile Ad hoc Networks (MANETs)
The thesis focuses on security in Mobile Ad hoc Networks (MANETs) [RFC 2501]. The lack of any central management of the network functions make MANETs more vulnerable... -
Clustering auto-stabilisant à k sauts dans les réseaux Ad Hoc
International audience -
Usage-based ranking of services and data
The emergence of peer-to-peer systems and the possibility to use web services to perform computations and to exchange data lead to large-scale integration systems... -
Formal Verification of Distributed Algorithms using PlusCal-2
Designing sound algorithms for concurrent and distributed systems is subtle and challenging. These systems are prone to deadlocks and race conditions, which occur in...
