50 citations · 50 across the 1 of their papers we have counts for
3 papers
Towards Faster Reasoners By Using Transparent Huge Pages
Johannes K. Fichte, Norbert Manthey, Julian Stecklina +1
Various state-of-the-art automated reasoning (AR) tools are widely used as backend tools in research of knowledge representation and reasoning as well as in industrial applications…
ZombieLoad: Cross-Privilege-Boundary Data Sampling
Michael Schwarz, Moritz Lipp, Daniel Moghimi +4
In early 2018, Meltdown first showed how to read arbitrary kernel memory from user space by exploiting side-effects from transient instructions. While this attack has been mitigate…
LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
Julian Stecklina, Thomas Prescher
Modern processors utilize an increasingly large register set to facilitate efficient floating point and SIMD computation. This large register set is a burden for operating systems,…