04b Atto di convegno in volume

Swarm robot synchronization using RFID tags
A Formal Characterization of Uniform Peer Sampling based on View Shuffling
An efficient biasing strategy for random walk in wireless ad hoc networks
TERA: Topic-based event routing for peer-to-peer architectures
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures

Ensuring reliable communication despite possibly malicious participants is a primary objective in any distributed system or network. In this paper, we investigate the possibility of reliable broadcast in a dynamic network whose topology may evolve while the broadcast is in progress. In particular,...
Multi-hop Byzantine Reliable Broadcast Made Practical

We revisit Byzantine-tolerant reliable broadcast algorithms in multi-hop networks. To tolerate up to f Byzantine nodes, previous solutions require an exponential number of messages to be sent over the network. We propose optimizations that preserve the safety and liveness properties of the original...
An attack graph-based on-line multi-step attack detector

Modern distributed systems are characterized by complex deployment designed to ensure high availability through replication and diversity, to tolerate the presence of failures and to limit the possibility of successful compromising. However, software is not free from bugs that generate...
Optimal Storage under Unsynchronized Mobile Byzantine Faults
Building Regular Registers with Rational Malicious Servers and Anonymous Clients
Approximate Agreement under Mobile Byzantine Faults