Matthis Kruse
where else to find them
no profile links on file
what they talk about
where they keep going back
- PriSC2 editions2023–2024
on a stage with
- Marco Patrignanionce
- Michael Backesonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Secure Composition of SPECTRE Mitigations | PriSC 2024 | 2024-01-20 |
Formal framework proves when compiler passes that add Spectre mitigations compose safely and when they do not, using robust preservation and a cross-language… | ||
| Blame-Preserving Secure Compilation | PriSC 2023 | 2023-01-21 |
Proposes a new secure-compilation criterion, Blame-Preserving Compilation, that refuses trivial proofs when the source language (e.g., C) cannot robustly… | ||
| v.~uint32_t(); | CppCon 2019 | 2019-09-15 |
Shows tiny, concrete C++ surprises: calling uint32_t destructor compiles because small integer types have trivial (zero) destructors; placement-new a… | ||
| nothing matches | ||