-
Towards Provably Robust Watermarking
Watermarking techniques are used to help identifying copies of publicly released information. They consist in applying a slight and secret modification to the data... -
Approximate Membership for Regular Languages modulo the Edit Distance
International audience -
Distributed algorithms on parameterized rings - Probabilistic and determinist...
The subject of this thesis concerns verification of distributed systems. More precisely, we focus on proving convergence of distributed algorithms running on ring... -
The Chip Problem
Rapport interne.
