Speculation at Fault: Modeling and Testing Microarchitectural Leakage of {CPU} Exceptions

J Hofmann, E Vannacci, C Fournet, B Köpf… - 32nd USENIX Security …, 2023 - usenix.org
Microarchitectural leakage models provide effective tools to prevent vulnerabilities such as
Spectre and Meltdown via secure co-design: For software, they provide a foundation for …
被引用次数：5 相关文章
[PDF] usenix.org

[PDF][PDF] Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

J Hofmann, E Vannacci, O Oleksenko - usenix.org
The goal of this artifact is to validate the microarchitectural leakage of CPU exceptions
against the formal leakage models we proposed in the paper (named contracts). Concretely …

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

J Hofmann, E Vannacci, C Fournet, B Köpf… - 32nd USENIX Security …, 2023 - research.vu.nl
Microarchitectural leakage models provide effective tools to prevent vulnerabilities such as
Spectre and Meltdown via secure co-design: For software, they provide a foundation for …
[PDF] boriskoepf.de

[PDF][PDF] Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

J Hofmann, E Vannacci, C Fournet, B Köpf… - boriskoepf.de
Microarchitectural leakage models provide effective tools to prevent vulnerabilities such as
Spectre and Meltdown via secure co-design: For software, they provide a foundation for …

Speculation at fault: modeling and testing microarchitectural leakage of CPU exceptions

J Hofmann, E Vannacci, C Fournet, B Köpf… - Proceedings of the …, 2023 - dl.acm.org
Microarchitectural leakage models provide effective tools to prevent vulnerabilities such as
Spectre and Meltdown via secure co-design: For software, they provide a foundation for …