5 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
Sibylle Schupp
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been…