Christopher W. Fletcher

10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

GoFetch: Breaking Constant-Time Cryptographic Implementations Using Data Memory-Dependent Prefetchers

Boru Chen and others (2024) · USENIX Security

ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks

Sushant Dinesh and others (2024) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society

RTL2MuPATH: Multi-uPATH Synthesis with Applications to Hardware Security Verification

Yao Hsiao and others (2024)

SynthCT: Towards Portable Constant-Time Code

Sushant Dinesh and others (2022) · Internet Society

Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest

Jose Rodrigo Sanchez Vicarte and others (2022) · 2022 IEEE Symposium on Security and Privacy (SP) · IEEE

Speculative interference attacks: breaking invisible speculation schemes

Mohammad Behnia and others (2021)

Opening Pandora’s Box: A Systematic Study of New Ways Microarchitecture Can Leak Private Data

Jose Rodrigo Sanchez Vicarte and others (2021) · IEEE

Speculative Data-Oblivious Execution: Mobilizing Safe Prediction For Safe and Efficient Speculative Execution

Jiyong Yu and others (2020) · IEEE

Data Oblivious ISA Extensions for Side Channel-Resistant and High Performance Computing

Jiyong Yu and others (2019) · Network and Distributed System Security Symposium

InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy

Mengjia Yan and others (2018) · IEEE/ACM International Symposium on Microarchitecture (MICRO) · Institute of Electrical and Electronics Engineers