Privacy space

This is a cross-cutting space which interacts with both spaces 1 and 2. We will use verification and modelling tools applied to hardware used in the other spaces. The problems will be orthogonal, i.e., ths spaces will scrutinize privacy aspects of the various devices and services investigated in the other spaces. In particular we want to start by Smart Meter analysis, where we already have MSc topics and courses running.