Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Model checking speculation-dependent security properties: Abstracting and reducing processor models for sound and complete verification | Electronics |
| 2019 | |
Attacking Intel trusted execution technology | 2009 | |||
New branch prediction vulnerabilities in OpenSSL and necessary software countermeasures | 2007 | |||
Hertzbleed: Turning power side-channel attacks into remote timing attacks on x86 | 2022 | |||
Foreshadow: Extracting the keys to the Intel SGX kingdom with transient out-of-order execution | 2018 |