Guaranteeing privacy policies using lightweight type systems Adams, Robin Schulz, Wolfgang Schupp, Sibylle Wittner, Florian 2019 - TUHH Open Research
Privacy-Preserving Architectures with Probabilistic Guaranties Bavendiek, Kai Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research