New ANR project REPAS: Reliable and Privacy-Aware Software Systems via Bisimulation Metrics
(Section 9.3.4.1)
New industrial contract with Renault: Protection techniques for location data
(Section 8.1.1)