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