Buchumschlag

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fu, Bo, Tenenbaum, Leo, Adler, David, Klein, Assaf, Gogia, Arpit, Alameldeen, Alaa R., Guarnieri, Marco, Silberstein, Mark, Oleksenko, Oleksii, Saileshwar, Gururaj
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

DL-PIM: Improving Data Locality in Processing-in-Memory Systems
von: Tian, Parker Hao, et al.
Veröffentlicht: (2025)

Probabilistic Tracker Management Policies for Low-Cost and Scalable Rowhammer Mitigation
von: Jaleel, Aamer, et al.
Veröffentlicht: (2024)

Modern Hardware Security: A Review of Attacks and Countermeasures
von: Mishra, Jyotiprakash, et al.
Veröffentlicht: (2025)

RTL Verification for Secure Speculation Using Contract Shadow Logic
von: Tan, Qinhan, et al.
Veröffentlicht: (2024)

Just TestIt! An SBST Approach To Automate System-Integration Testing
von: Terzano, Tommaso, et al.
Veröffentlicht: (2025)

ShadowBinding: Realizing Effective Microarchitectures for In-Core Secure Speculation Schemes
von: Kvalsvik, Amund Bergland, et al.
Veröffentlicht: (2025)

ALPHA-PIM: Analysis of Linear Algebraic Processing for High-Performance Graph Applications on a Real Processing-In-Memory System
von: Barkhordar, Marzieh, et al.
Veröffentlicht: (2026)

SpecMamba: Accelerating Mamba Inference on FPGA with Speculative Decoding
von: Zhong, Linfeng, et al.
Veröffentlicht: (2025)

SEA Cache: A Performance-Efficient Countermeasure for Contention-based Attacks
von: Liu, Xiao, et al.
Veröffentlicht: (2024)

Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection
von: Rostami, Mohamadreza, et al.
Veröffentlicht: (2024)

An FPGA Compiler for On-the-Fly Adaptive CNN Deployment and Reconfiguration
von: Mazouz, Alaa, et al.
Veröffentlicht: (2025)

From Quarter to All: Accelerating Speculative LLM Decoding via Floating-Point Exponent Remapping and Parameter Sharing
von: Zhao, Yushu, et al.
Veröffentlicht: (2025)

LP-Spec: Leveraging LPDDR PIM for Efficient LLM Mobile Speculative Inference with Architecture-Dataflow Co-Optimization
von: He, Siyuan, et al.
Veröffentlicht: (2025)

Functional Stability of Software-Hardware Neural Network Implementation The NeuroComp Project
von: Oleksii, Bychkov, et al.
Veröffentlicht: (2025)

Memory-Guided Unified Hardware Accelerator for Mixed-Precision Scientific Computing
von: Wang, Chuanzhen, et al.
Veröffentlicht: (2026)

Accurate Leakage Speculation for Quantum Error Correction
von: Mude, Chaithanya Naik, et al.
Veröffentlicht: (2025)

Automated SVA Generation with LLMs
von: Fu, Lik Tung, et al.
Veröffentlicht: (2026)

Secure Software/Hardware Hybrid In-Field Testing for System-on-Chip
von: Mulhem, Saleh, et al.
Veröffentlicht: (2024)

In-Memory Computing Architecture for Efficient Hardware Security
von: Ajmi, Hala, et al.
Veröffentlicht: (2024)

Technology solutions targeting the performance of gen-AI inference in resource constrained platforms
von: Kundu, Joyjit, et al.
Veröffentlicht: (2026)

CODO: An Automated Compiler for Comprehensive Dataflow Optimization
von: Zhang, Weichuang, et al.
Veröffentlicht: (2026)

ALIGN: A System for Automating Analog Layout
von: Dhar, Tonmoy, et al.
Veröffentlicht: (2020)

CarbonClarity: Understanding and Addressing Uncertainty in Embodied Carbon for Sustainable Computing
von: Chen, Xuesi, et al.
Veröffentlicht: (2025)

Flexible In-NAND Cryptographic Processing for Secure Flash Storage
von: Noh, Seock-Hwan, et al.
Veröffentlicht: (2025)

Resilient and Secure Programmable System-on-Chip Accelerator Offload
von: Gouveia, Inês Pinto, et al.
Veröffentlicht: (2024)

31.1 A 14.08-to-135.69Token/s ReRAM-on-Logic Stacked Outlier-Free Large-Language-Model Accelerator with Block-Clustered Weight-Compression and Adaptive Parallel-Speculative-Decoding
von: Dong, Pingcheng, et al.
Veröffentlicht: (2026)

MING: An Automated CNN-to-Edge MLIR HLS framework
von: Bi, Jiahong, et al.
Veröffentlicht: (2026)

ARISE: Automating RISC-V Instruction Set Extension
von: Hager-Clukas, Andreas, et al.
Veröffentlicht: (2025)

Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments
von: Schmitz, Philipp, et al.
Veröffentlicht: (2023)

AXON: An Automated Netlist Optimization Framework for High-Speed Adders
von: Yang, Tiantian, et al.
Veröffentlicht: (2026)

UVLLM: An Automated Universal RTL Verification Framework using LLMs
von: Hu, Yuchen, et al.
Veröffentlicht: (2024)

Shift-Left Techniques in Electronic Design Automation: A Survey
von: Wu, Xinyue, et al.
Veröffentlicht: (2025)

SeDA: Secure and Efficient DNN Accelerators with Hardware/Software Synergy
von: Xuan, Wei, et al.
Veröffentlicht: (2025)

AGON: Automated Design Framework for Customizing Processors from ISA Documents
von: Li, Chongxiao, et al.
Veröffentlicht: (2024)

LIMCA: LLM for Automating Analog In-Memory Computing Architecture Design Exploration
von: Vungarala, Deepak, et al.
Veröffentlicht: (2025)

AutoRAC: Automated Processing-in-Memory Accelerator Design for Recommender Systems
von: Cheng, Feng, et al.
Veröffentlicht: (2025)

Orthrus: Dual-Loop Automated Framework for System-Technology Co-Optimization
von: Ren, Yi, et al.
Veröffentlicht: (2025)

Enhancing Test Efficiency through Automated ATPG-Aware Lightweight Scan Instrumentation
von: Paria, Sudipta, et al.
Veröffentlicht: (2025)

ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis
von: Li, Runkai, et al.
Veröffentlicht: (2025)

VeriRAG: A Retrieval-Augmented Framework for Automated RTL Testability Repair
von: Qi, Haomin, et al.
Veröffentlicht: (2025)