5 citations · 7 across the 3 of their papers we have counts for
3 papers
Secure Composition of Robust and Optimising Compilers
Matthis Kruse, Michael Backes, Marco Patrignani
To ensure that secure applications do not leak their secrets, they are required to uphold several security properties such as spatial and temporal memory safety as well as cryptogr…
Automatic Optimizations for Stream-based Monitoring Languages
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse +1
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language…
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation
André Müller, Bertil Schmidt, Andreas Hildebrandt +4
Sequence alignments are fundamental to bioinformatics which has resulted in a variety of optimized implementations. Unfortunately, the vast majority of them are hand-tuned and spec…