3 citations · 3 across the 1 of their papers we have counts for
1 paper
Marcel von Maltitz, Cornelius Diekmann, Georg Carle
Privacy analysis is critical but also a time-consuming and tedious task. We present a formalization which eases designing and auditing high-level privacy properties of software arc…