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 2023

2023

Towards a Dereversibilizer: Fewer Asserts, Statically

Conference / Medium

Reversible Computation (RC)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page

Year 2022

2022-01-22

Composing Secure Compilers

Conference / Medium

Workshop on Principles of Secure Compilation (PriSC)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2020

2020-08-20

Automatic Optimizations for Stream-based Monitoring Languages

Conference / Medium

International Conference on Runtime Verification (RV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page