Publications

  1. Secure Composition of SPECTRE Mitigations

    Matthis Kruse, Michael Backes

    ACM SIGPLAN Workshop on Principles of Secure Compilation, 2024

    CitePDF

  2. Secure Composition of Robust and Optimising Compilers

    Matthis Kruse, Michael Backes, Marco Patrignani

    Arxiv, 2024

    CitePDF

  3. Blame-Preserving Secure Compilation

    Marco Patrignani, Matthis Kruse

    ACM SIGPLAN Workshop on Principles of Secure Compilation, 2023

    CitePDF

  4. Composing Secure Compilers

    Matthis Kruse, Marco Patrignani

    ACM SIGPLAN Workshop on Principles of Secure Compilation, 2022

    CitePDFCoqDoc

  5. Automatic Optimizations for Stream-Based Monitoring Languages

    Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

    Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings

    CitePDF

  6. AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation

    André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack

    2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), New Orleans, LA, USA, May 18-22, 2020

    CitePDF