selected publications chapter Automatically Proving Purpose Limitation in Software Architectures. IFIP advances in information and communication technology. 345-358. 2019 conference paper Subverting Linux' integrity measurement architecture. . 2020