2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing
Mark Miyashita, Mikhail Nesterenko
We propose bi-directional face traversal algorithm to shorten the path the message takes to reach the destination in geometric routing. Our algorithm combines the practical…