16 citations · 28 across the 12 of their papers we have counts for
7 papers · 1 filter
Byzantine Convergence in Robots Networks: The Price of Asynchrony
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
We study the convergence problem in fully asynchronous, uni-dimensional robot networks that are prone to Byzantine (i.e. malicious) failures. In these settings, oblivious anonymous…
Ideal Stabilization
Mikhail Nesterenko, Sébastien Tixeuil
We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer…
Optimal byzantine resilient convergence in oblivious robot networks
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, b…
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil +1
The Sybil attack in unknown port networks such as wireless is not considered tractable. A wireless node is not capable of independently differentiating the universe of real nodes f…
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs
Toshimitsu Masuzawa, Sébastien Tixeuil
This paper considers gossiping among mobile agents in graphs: agents move on the graph and have to disseminate their initial information to every other agent. We focus on self-stab…
Snap-Stabilization in Message-Passing Systems
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko +1
In this paper, we tackle the open problem of snap-stabilization in message-passing systems. Snap-stabilization is a nice approach to design protocols that withstand transient fault…