Copertina

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Hardware Architecture
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
di: Song, Shixin, et al.
Pubblicazione: (2024)

DRsam: Detection of Fault-Based Microarchitectural Side-Channel Attacks in RISC-V Using Statistical Preprocessing and Association Rule Mining
di: Hassan, Muhammad, et al.
Pubblicazione: (2025)

ShuffleV: A Microarchitectural Defense Strategy against Electromagnetic Side-Channel Attacks in Microprocessors
di: Narkthong, Nuntipat, et al.
Pubblicazione: (2025)

GME: GPU-based Microarchitectural Extensions to Accelerate Homomorphic Encryption
di: Shivdikar, Kaustubh, et al.
Pubblicazione: (2023)

Supporting Secured Integration of Microarchitectural Defenses
di: Ramkrishnan, Kartik, et al.
Pubblicazione: (2026)

FireGuard: A Generalized Microarchitecture for Fine-Grained Security Analysis on OoO Superscalar Cores
di: Jiang, Zhe, et al.
Pubblicazione: (2025)

FHECore: Rethinking GPU Microarchitecture for Fully Homomorphic Encryption
di: Daksha, Lohit, et al.
Pubblicazione: (2026)

DRAMScope: Uncovering DRAM Microarchitecture and Characteristics by Issuing Memory Commands
di: Nam, Hwayong, et al.
Pubblicazione: (2024)

Pre-cache: A Microarchitectural Solution to prevent Meltdown and Spectre
di: Sethumurugan, Subhash, et al.
Pubblicazione: (2025)

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
di: Li, Weihang, et al.
Pubblicazione: (2025)

ShadowBinding: Realizing Effective Microarchitectures for In-Core Secure Speculation Schemes
di: Kvalsvik, Amund Bergland, et al.
Pubblicazione: (2025)

Microarchitecture Design and Benchmarking of Custom SHA-3 Instruction for RISC-V
di: Bolat, Alperen, et al.
Pubblicazione: (2025)

FAULT+PROBE: A Generic Rowhammer-based Bit Recovery Attack
di: Derya, Kemal, et al.
Pubblicazione: (2024)

PCG: Mitigating Conflict-based Cache Side-channel Attacks with Prefetching
di: Jiang, Fang, et al.
Pubblicazione: (2024)

SEA Cache: A Performance-Efficient Countermeasure for Contention-based Attacks
di: Liu, Xiao, et al.
Pubblicazione: (2024)

Fast Selective Flushing to Mitigate Contention-based Cache Timing Attacks
di: Li, Tuo, et al.
Pubblicazione: (2022)

RollingCache: Using Runtime Behavior to Defend Against Cache Side Channel Attacks
di: Ojha, Divya, et al.
Pubblicazione: (2024)

RTL-Breaker: Assessing the Security of LLMs against Backdoor Attacks on HDL Code Generation
di: Mankali, Lakshmi Likhitha, et al.
Pubblicazione: (2024)

Targeted Wearout Attacks in Microprocessor Cores
di: Mashburn, Joshua, et al.
Pubblicazione: (2025)

Case Study: Horizontal Side-Channel Analysis Attack against Elliptic Curve Scalar Multiplication Accelerator under Laser Illumination
di: Petryk, Dmytro, et al.
Pubblicazione: (2026)

Revisiting Main Memory-Based Covert and Side Channel Attacks in the Context of Processing-in-Memory
di: Bostanci, F. Nisa, et al.
Pubblicazione: (2024)

LeapFrog: The Rowhammer Instruction Skip Attack
di: Adiletta, Andrew, et al.
Pubblicazione: (2024)

Attacking AI Accelerators by Leveraging Arithmetic Properties of Addition
di: Heidary, Masoud, et al.
Pubblicazione: (2026)

Modern Hardware Security: A Review of Attacks and Countermeasures
di: Mishra, Jyotiprakash, et al.
Pubblicazione: (2025)

Exploiting Inaccurate Branch History in Side-Channel Attacks
di: Zhu, Yuhui, et al.
Pubblicazione: (2025)

BETA: Automated Black-box Exploration for Timing Attacks in Processors
di: Chen, Congcong, et al.
Pubblicazione: (2024)

Random and Safe Cache Architecture to Defeat Cache Timing Attacks
di: Hu, Guangyuan, et al.
Pubblicazione: (2023)

OpenGL GPU-Based Rowhammer Attack (Work in Progress)
di: Plin, Antoine, et al.
Pubblicazione: (2025)

The Impact of Run-Time Variability on Side-Channel Attacks Targeting FPGAs
di: Galli, Davide, et al.
Pubblicazione: (2024)

Laser Fault Injection Attacks against Radiation Tolerant TMR Registers
di: Petryk, Dmytro, et al.
Pubblicazione: (2024)

Security Enclave Architecture for Heterogeneous Security Primitives for Supply-Chain Attacks
di: Raj, Kshitij, et al.
Pubblicazione: (2025)

RogueRFM: Attacking Refresh Management for Covert-Channel and Denial-of-Service
di: Taneja, Hritvik, et al.
Pubblicazione: (2025)

PhantomFetch: Obfuscating Loads against Prefetcher Side-Channel Attacks
di: Zhang, Xingzhi, et al.
Pubblicazione: (2025)

Enhancing Industrial Cybersecurity: SoftHSM Implementation on SBCs for Mitigating MITM Attacks
di: Amael, Joshua Tito, et al.
Pubblicazione: (2024)

WebGPU-SPY: Finding Fingerprints in the Sandbox through GPU Cache Attacks
di: Ferguson, Ethan, et al.
Pubblicazione: (2024)

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks
di: Jiang, Ke, et al.
Pubblicazione: (2025)

Memory Scraping Attack on Xilinx FPGAs: Private Data Extraction from Terminated Processes
di: Madabhushi, Bharadwaj, et al.
Pubblicazione: (2024)

SMaCk: Efficient Instruction Cache Attacks via Self-Modifying Code Conflicts
di: Son, Seonghun, et al.
Pubblicazione: (2025)

Power Side-Channel Analysis of the CVA6 RISC-V Core at the RTL Level Using VeriSide
di: Farnaghinejad, Behnam, et al.
Pubblicazione: (2025)

Honest to a Fault: Root-Causing Fault Attacks with Pre-Silicon RISC Pipeline Characterization
di: Malik, Arsalan Ali, et al.
Pubblicazione: (2025)