Hernán Ponce-de-León

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

2021 · arXiv (Cornell University)

The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initial inroads towards finding vulnerable code and validating defenses. However, with …