Send email Copy Email Address
PhD Student

Matthis Kruse

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Further Information

Publications by Matthis Kruse

Year 2022

2022-01-22

Composing Secure Compilers

Conference / Medium

PriSC
Workshop on Principles of Secure CompilationACM SIGPLAN Workshop on Principles of Secure Compilation, 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2020

2020-08-20

Automatic Optimizations for Stream-based Monitoring Languages

Conference / Medium

RV
Runtime Verification - 20th International Conference20th International Conference on Runtime Verification

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page