3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2024
120 Domain-Specific Languages for Security
Markus Krausz, Sven Peldszus, Francesco Regazzoni +2
Security engineering, from security requirements engineering to the implementation of cryptographic protocols, is often supported by domain-specific languages (DSLs). Unfortunately…
cs.CR2020★ 3 cited
BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster
Jan Philipp Thoma, Jakob Feldtkeller, Markus Krausz +2
Recent research has revealed an ever-growing class of microarchitectural attacks that exploit speculative execution, a standard feature in modern processors. Proposed and deployed…