Buchumschlag

MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sarma, Nilotpola, Thakur, Anuj Singh, Karfa, Chandan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
von: Sarma, Nilotpola, et al.
Veröffentlicht: (2026)

TimelyHLS: LLM-Based Timing-Aware and Architecture-Specific FPGA HLS Optimization
von: Mashnoor, Nowfel, et al.
Veröffentlicht: (2025)

Cryptographic Challenges: Masking Sensitive Data in Cyber Crimes through ASCII Art
von: Alejandre, Andres, et al.
Veröffentlicht: (2025)

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

High Memory Masked Convolutional Codes for PQC
von: Ariel, Meir
Veröffentlicht: (2025)

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

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

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

Cryptographic Application of Elliptic Curve with High Rank
von: Cheng, Xiaogang, et al.
Veröffentlicht: (2025)

Cryptographic Choreographies
von: Mödersheim, Sebastian, et al.
Veröffentlicht: (2026)

Software-Defined Cryptography: A Design Feature of Cryptographic Agility
von: Cho, Jihoon, et al.
Veröffentlicht: (2024)

On the Formalization of Cryptographic Migration
von: Loebenberger, Daniel, et al.
Veröffentlicht: (2024)

RobustMask: Certified Robustness against Adversarial Neural Ranking Attack via Randomized Masking
von: Liu, Jiawei, et al.
Veröffentlicht: (2025)

The Quantum-Cryptographic Co-evolution
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
von: Acay, Coşku, et al.
Veröffentlicht: (2024)

MASCing: Configurable Mixture-of-Experts Behavior via Activation Steering Masks
von: Lintelo, Jona te, et al.
Veröffentlicht: (2026)

Backdooring Masked Diffusion Language Models
von: Cao, Daniel Yiming, et al.
Veröffentlicht: (2026)

Cryptographic Keywords in NVD: Statistics and Visualization
von: Stanek, Martin
Veröffentlicht: (2024)

Cryptographic Verifiability for Voter Registration Systems
von: Fábrega, Andrés, et al.
Veröffentlicht: (2025)

Cryptographic Data Exchange for Nuclear Warheads
von: Perry, Neil, et al.
Veröffentlicht: (2025)

Systematic Review of Lightweight Cryptographic Algorithms
von: Khan, Mohsin, et al.
Veröffentlicht: (2026)

Masking Gaussian Elimination at Arbitrary Order, with Application to Multivariate- and Code-Based PQC
von: Norga, Quinten, et al.
Veröffentlicht: (2024)

Selective Masking Adversarial Attack on Automatic Speech Recognition Systems
von: Fang, Zheng, et al.
Veröffentlicht: (2025)

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
von: Flamini, Andrea, et al.
Veröffentlicht: (2024)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
von: Derry, Pratama, et al.
Veröffentlicht: (2025)

Beneath the Mask: Can Contribution Data Unveil Malicious Personas in Open-Source Projects?
von: Nealon, Ruby
Veröffentlicht: (2025)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
von: Iskander, Ray, et al.
Veröffentlicht: (2026)

ByteShield: Adversarially Robust End-to-End Malware Detection through Byte Masking
von: Gibert, Daniel, et al.
Veröffentlicht: (2025)

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

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
von: Valence, Arnaud
Veröffentlicht: (2026)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
von: Zilouchian, Reza, et al.
Veröffentlicht: (2026)

Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
von: Chhibber, Navin, et al.
Veröffentlicht: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
von: Benitez, Carlos
Veröffentlicht: (2025)

Cryptographically Secure Pseudo-Random Number Generation (CS-PRNG) Design using Robust Chaotic Tent Map (RCTM)
von: Irfan, Muhammad, et al.
Veröffentlicht: (2024)

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

Confidential Databases Without Cryptographic Mappings
von: Huang, Wenxuan, et al.
Veröffentlicht: (2026)

Lightweight Hybrid Block-Stream Cryptographic Algorithm for the Internet of Things
von: Vahi, Arsalan, et al.
Veröffentlicht: (2025)

Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
von: Webb, Jeremiah L., et al.
Veröffentlicht: (2026)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
von: Kebande, Victor
Veröffentlicht: (2026)