Mengjia Yan

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

RTL Verification for Secure Speculation Using Contract Shadow Logic.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Formal Verification for Secure Processors: A Guide for Computer Architects.

[BibT_eX]

[DOI]

Thomas Bourgeat

Sharad Malik

Computer, October, 2024

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version).

[BibT_eX]

[DOI]

Shixin Song

Joseph Zhang

CoRR, 2024

Ditto: Elastic Confidential VMs with Secure and Dynamic CPU Scaling.

[BibT_eX]

[DOI]

CoRR, 2024

Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices.

[BibT_eX]

[DOI]

Mengyuan Li

Shashvat Srivastava

CoRR, 2024

DelayAVF: Calculating Architectural Vulnerability Factors for Delay Faults.

[BibT_eX]

[DOI]

Peter W. Deutsch

Vincent Quentin Ulitzsch

Proceedings of the 57th IEEE/ACM International Symposium on Microarchitecture, 2024

SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

Penetrating Shields: A Systematic Analysis of Memory Corruption Mitigations in the Spectre Era.

[BibT_eX]

[DOI]

Weon Taek Na

Joel S. Emer

CoRR, 2023

SecureLoop: Design Space Exploration of Secure DNN Accelerators.

[BibT_eX]

[DOI]

Kyungmi Lee

Joel S. Emer

Anantha P. Chandrakasan

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Pensieve: Microarchitectural Modeling for Security Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

EntryBleed: A Universal KASLR Bypass against KPTI on Linux.

[BibT_eX]

[DOI]

William Liu

Joseph Ravichandran

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

2022

Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

PACMAN: attacking ARM pointer authentication with speculative execution.

[BibT_eX]

[DOI]

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

There's always a bigger fish: a clarifying analysis of a machine-learning-assisted side-channel attack.

[BibT_eX]

[DOI]

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

DAGguise: mitigating memory timing side channels.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN Architectures.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis.

[BibT_eX]

[DOI]

Adam Morrison

Darko Marinov

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

2019

Cache-based side channels: Modern attacks and defenses

[BibT_eX]

[DOI]

PhD thesis, 2019

Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World.

[BibT_eX]

[DOI]

Read Sprabery

Bhargava Gopireddy

Roy H. Campbell

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy (Corrigendum).

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

Research problems and opportunities in NoC-based side channel attacks and defenses: lessons learned from cache-based side channels.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Network on Chip Architectures, 2019

SecDir: a secure directory to defeat directory side-channel attacks.

[BibT_eX]

[DOI]

Jen-Yang Wen

Proceedings of the 46th International Symposium on Computer Architecture, 2019

MicroScope: enabling microarchitectural replay attacks.

[BibT_eX]

[DOI]

Proceedings of the 46th International Symposium on Computer Architecture, 2019

2018

InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

UCNN: Exploiting Computational Reuse in Deep Neural Networks via Weight Repetition.

[BibT_eX]

[DOI]

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

Record-Replay Architecture as a General Security Framework.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

2017

Secure Hierarchy-Aware Cache Replacement Policy (SHARP): Defending Against Cache-Based Side Channel Attacks.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual International Symposium on Computer Architecture, 2017

2016

ReplayConfusion: Detecting cache-based covert channel attacks using record and replay.

[BibT_eX]

[DOI]

Yasser Shalabi