European Symposium on Research in Computer Security (ESORICS) Business Cat: Effects of Quality of Service Features on Side Channels in AMD SEV-SNP
Usenix Security Symposium (USENIX-Security) Spectre on RISC-V Silicon: Attacks and Defenses on Commercial Out-of-Order Processors
Usenix Security Symposium (USENIX-Security) InstrSem: Automatically and Generically Inferring Semantics of (Undocumented) CPU Instructions
Formal Methods (FM) Mixed Flow-Sensitive Static Analysis: Engineering Modularity
IEEE Symposium on Security and Privacy (S&P) Crucible: Retrofitting Commodity CPUs with Vulnerabilities via Transparent Software Emulation
