selected publications
-
chapter
- Automatically Proving Purpose Limitation in Software Architectures. IFIP advances in information and communication technology. 345-358. 2019
- Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. Lecture Notes in Computer Science. 2018