50 citations · 157 across the 13 of their papers we have counts for
3 papers · 1 filter
Dynamic Process Isolation
Martin Schwarzl, Pietro Borrello, Andreas Kogler +4
In the quest for efficiency and performance, edge-computing providers eliminate isolation boundaries between tenants, such as strict process isolation, and instead let them compute…
Improving Thread-Modular Abstract Interpretation
Michael Schwarz, Simmo Saan, Helmut Seidl +3
We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants…
Osiris: Automated Discovery of Microarchitectural Side Channels
Daniel Weber, Ahmad Ibrahim, Hamed Nemati +2
In the last years, a series of side channels have been discovered on CPUs. These side channels have been used in powerful attacks, e.g., on cryptographic implementations, or as bui…