research
∙
07/14/2020
Speculative Leakage in ARM Cortex-A53
The recent Spectre attacks have demonstrated that modern microarchitectu...
share
research
∙
05/11/2020
Validation of Abstract Side-Channel Models for Computer Architectures
Observational models make tractable the analysis of information flow pro...
research
∙
08/29/2017
