:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sarma, Nilotpola, Chaudhuri, Vaishali Ghanshyam, Karfa, Chandan
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2603.18939
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
by: Sarma, Nilotpola, et al.
Published: (2024)

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification
by: Iskander, Ray, et al.
Published: (2026)

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
by: Iskander, Ray, et al.
Published: (2026)

Accelerating Hardware Verification with Graph Models
by: Saravanan, Raghul, et al.
Published: (2024)

The Evolution of Agentic AI in Cybersecurity: From Single LLM Reasoners to Multi-Agent Systems and Autonomous Pipelines
by: Vinay, Vaishali
Published: (2025)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
by: Amiot, Noé, et al.
Published: (2025)

SCADE: Scalable Framework for Anomaly Detection in High-Performance System
by: Vinay, Vaishali, et al.
Published: (2024)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
by: Iskander, Ray, et al.
Published: (2026)

Hardware-Level Governance of AI Compute: A Feasibility Taxonomy for Regulatory Compliance and Treaty Verification
by: Ansari, Samar
Published: (2026)

Metric Differential Privacy at the User-Level Via the Earth Mover's Distance
by: Imola, Jacob, et al.
Published: (2024)

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

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

LATENT: LLM-Augmented Trojan Insertion and Evaluation Framework for Analog Netlist Topologies
by: Chaudhuri, Jayeeta, et al.
Published: (2025)

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

Bridging the Gap between Hardware Fuzzing and Industrial Verification
by: Ma, Ruiyang, et al.
Published: (2025)

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

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs
by: Hu, Wei, et al.
Published: (2023)

Mask-Free Privacy Extraction and Rewriting: A Domain-Aware Approach via Prototype Learning
by: Li, Xiaodong, et al.
Published: (2026)

Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis
by: Iskander, Ray, et al.
Published: (2026)

On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024)

Detecting Hardware Trojans in Microprocessors via Hardware Error Correction Code-based Modules
by: Palumbo, Alessandro, et al.
Published: (2025)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
by: Chen, Qirui, et al.
Published: (2026)

Enabling Deterministic User-Level Interrupts in Real-Time Processors via Hardware Extension
by: Yang, Hongbin, et al.
Published: (2026)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
by: Pott, Claudius, et al.
Published: (2026)

High Memory Masked Convolutional Codes for PQC
by: Ariel, Meir
Published: (2025)

GoldenFuzz: Generative Golden Reference Hardware Fuzzing
by: Wu, Lichao, et al.
Published: (2025)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
by: Dorfhuber, Florian, et al.
Published: (2024)

A Dual-Level Cancelable Framework for Palmprint Verification and Hack-Proof Data Storage
by: Yang, Ziyuan, et al.
Published: (2024)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
by: Saha, Dipayan, et al.
Published: (2025)

K-Nearest Neighbor Classification over Semantically Secure Encrypted Relational Data
by: Mishra, Gunjan, et al.
Published: (2024)

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
by: Iskander, Ray, et al.
Published: (2026)

Pulse-Level Simulation of Crosstalk Attacks on Superconducting Quantum Hardware
by: Shubha, Syed Emad Uddin, et al.
Published: (2025)

Measuring Privacy Loss in Distributed Spatio-Temporal Data
by: Koga, Tatsuki, et al.
Published: (2024)

Scabbard: An Exploratory Study on Hardware Aware Design Choices of Learning with Rounding-based Key Encapsulation Mechanisms
by: Kundu, Suparna, et al.
Published: (2024)

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

Robustness of Locally Differentially Private Graph Analysis Against Poisoning
by: Imola, Jacob, et al.
Published: (2022)

Permit: Permission-Aware Representation Intervention for Controlled Generation in Large Language Models
by: Sun, Pengcheng, et al.
Published: (2026)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)