Secure Multi-Party Computation Against Passive Adversaries. - Springer Verlag, 2022. - (Synthesis Lectures on Distributed Computing Theory).
Introduction to Distributed Self-Stabilizing Algorithms. - Morgan & Claypool Publishers, 2019. - (Synthesis Lectures on Distributed Computing Theory).
Distributed graph coloring: fundamentals and recent developments. - Morgan & Claypool Publishers, 2013. - (Synthesis Lectures on Distributed Computing Theory).
The mobile agent rendezvous problem in the ring. - Morgan & Claypool Publishers, 2010. - (Synthesis Lectures on Distributed Computing Theory).
Communication and agreement abstractions for fault-tolerant distributed systems. - Morgan & Claypool Publishers, 2010. - (Synthesis Lectures on Distributed Computing Theory).
New models for population protocols. - Morgan & Claypool Publishers, 2011. - (Synthesis Lectures on Distributed Computing Theory; 6).