Cover Image

International Security Applications of Flexible Hardware-Enabled Guarantees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aarne, Onni, Petrie, James
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Technical Options for Flexible Hardware-Enabled Guarantees
by: Petrie, James, et al.
Published: (2025)

Flexible Hardware-Enabled Guarantees for AI Compute
by: Petrie, James, et al.
Published: (2025)

Hardware-Enabled Mechanisms for Verifying Responsible AI Development
by: O'Gara, Aidan, et al.
Published: (2025)

Embedded Off-Switches for AI Compute
by: Petrie, James
Published: (2025)

Near-Term Enforcement of AI Chip Export Controls Using A Firmware-Based Design for Offline Licensing
by: Petrie, James
Published: (2024)

Transformers for Secure Hardware Systems: Applications, Challenges, and Outlook
by: Latibari, Banafsheh Saber, et al.
Published: (2025)

Secure eFPGA-Enabled Edge LLM Inference: Architectural and Hardware Countermeasures
by: Das, Voktho, et al.
Published: (2026)

Fixing Hardware Security Bugs with Large Language Models
by: Ahmad, Baleegh, et al.
Published: (2023)

Efficient and Flexible Differet-Radix Montgomery Modular Multiplication for Hardware Implementation
by: Zhang, Yuxuan, et al.
Published: (2024)

An AI-Enabled Side Channel Power Analysis Based Hardware Trojan Detection Method for Securing the Integrated Circuits in Cyber-Physical Systems
by: Puspa, Sefatun-Noor, et al.
Published: (2024)

Data-Oblivious ML Accelerators using Hardware Security Extensions
by: ElAtali, Hossam, et al.
Published: (2024)

An Investigation of Hardware Security Bug Characteristics in Open-Source Projects
by: Ah-kiow, Joey, et al.
Published: (2024)

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation
by: Abideen, Zain Ul, et al.
Published: (2026)

LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware
by: Mashnoor, Nowfel, et al.
Published: (2025)

Hardware Design and Security Needs Attention: From Survey to Path Forward
by: Ghimire, Sujan, et al.
Published: (2025)

SecIC3: Customizing IC3 for Hardware Security Verification
by: Tan, Qinhan, et al.
Published: (2026)

Evolutionary Large Language Models for Hardware Security: A Comparative Survey
by: Akyash, Mohammad, et al.
Published: (2024)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
by: Akyash, Mohammad, et al.
Published: (2024)

RTL Interconnect Obfuscation By Polymorphic Switch Boxes For Secure Hardware Generation
by: Chakraborty, Haimanti, et al.
Published: (2024)

The Elephant in the Room: Software and Hardware Security Vulnerabilities of Portable Sequencing Devices
by: Stillman, Carson, et al.
Published: (2024)

Variable Record Table: A Unified Hardware-Assisted Framework for Runtime Security
by: Sah, Suraj Kumar, et al.
Published: (2025)

Towards Secure and Efficient DNN Accelerators via Hardware-Software Co-Design
by: Xuan, Wei, et al.
Published: (2026)

ORQ: Complex Analytics on Private Data with Strong Security Guarantees
by: Baum, Eli, et al.
Published: (2025)

Pipe-Cleaner: Flexible Fuzzing Using Security Policies
by: Naaktgeboren, Allison, et al.
Published: (2024)

MAESTROCUT: Dynamic, Noise-Adaptive, and Secure Quantum Circuit Cutting on Near-Term Hardware
by: Punch, Samuel, et al.
Published: (2025)

HarmChip: Evaluating Hardware Security Centric LLM Safety via Jailbreak Benchmarking
by: Wang, Zeng, et al.
Published: (2026)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

Physically Unclonable Functions for Secure IoT Authentication and Hardware-Anchored AI Model Integrity
by: Zadeh, Maryam Taghi, et al.
Published: (2026)

Can Agents Secure Hardware? Evaluating Agentic LLM-Driven Obfuscation for IP Protection
by: Ghimire, Sujan, et al.
Published: (2026)

SecurePay: Enabling Secure and Fast Payment Processing for Platform Economy
by: Lin, Junru, et al.
Published: (2025)

Achieving Flexible and Secure Authentication with Strong Privacy in Decentralized Networks
by: Xie, Bin, et al.
Published: (2025)

High-Security Hardware Module with PUF and Hybrid Cryptography for Data Security
by: Amael, Joshua Tito, et al.
Published: (2024)

Security Properties for Open-Source Hardware Designs
by: Rogers, Jayden, et al.
Published: (2024)

RTL2M$μ$PATH: Multi-$μ$PATH Synthesis with Applications to Hardware Security Verification
by: Hsiao, Yao, et al.
Published: (2024)

Enabling Performant and Secure EDA as a Service in Public Clouds Using Confidential Containers
by: Ye, Mengmei, et al.
Published: (2024)

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

Efficient and Lightweight In-memory Computing Architecture for Hardware Security
by: Ajmi, Hala, et al.
Published: (2022)

Paladin: A Policy Framework for Securing Cloud APIs by Combining Application Context with Generative AI
by: Priya, Shriti, et al.
Published: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
by: Hossain, Tahrim, et al.
Published: (2025)