16 citations · 27 across the 4 of their papers we have counts for
5 papers
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels
Ahmad Ibrahim, Hamed Nemati, Till Schlüter +2
The complexity of modern processor architectures has given rise to sophisticated interactions among their components. Such interactions may result in potential attack vectors in te…
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…
Speculative Leakage in ARM Cortex-A53
Hamed Nemati, Roberto Guanciale, Pablo Buiras +1
The recent Spectre attacks have demonstrated that modern microarchitectural optimizations can make software insecure. These attacks use features like pipelining, out-of-order and s…
Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, Andreas Lindner +2
Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to vali…
Secure System Virtualization: End-to-End Verification of Memory Isolation
Hamed Nemati
Over the last years, security kernels have played a promising role in reshaping the landscape of platform security on today's ubiquitous embedded devices. Security kernels, such as…