5 citations · 16 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019★ 1 cited
Tool Support of Formal Methods for Privacy by Design
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…
cs.LO2019★ 3 cited
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Robin Adams, Sibylle Schupp
Privacy by design (PbD) is the principle that privacy should be considered at every stage of the software engineering process. It is increasingly both viewed as best practice and r…