We present Three-Phase Transformer (3PT), a residual-stream structural prior for decoder-only Transformers on a standard SwiGLU + RMSNorm + RoPE + GQA 更多..
Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
Masking is a countermeasure against Power Side Channel Attacks (PSCAs) in both software and hardware implementations of cryptographic algorithms. Comp 更多..
Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
Boolean satisfiability (SAT) solvers are widely used in hardware verification, cryptanalysis, automatic test-pattern generation, and side-channel reas 更多..
AmphiKey: A Dual-Mode Secure Authenticated Key Encapsulation Protocol for Smart Grid
Kazi Hassan Shakib,Muhammad Asfand Hafeez,Arslan Munir
摘要
AmphiKey, a dual-mode post-quantum/traditional (PQ/T) hybrid authenticated key exchange mechanism (AKEM) has been designed to secure smart grid commun 更多..
Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis
Adams Bridge, a hardware accelerator for ML-DSA and ML-KEM designed for the Caliptra root of trust, masks 1 of its Inverse Number Theoretic Transform 更多..
(Dis)Proving Spectre Security with Speculation-Passing Style
Santiago ArranzOlmos,Gilles Barthe,Lionel Blatter,Xingyu Xie,Zhiyuan Zhang
摘要
Constant-time (CT) verification tools are commonly used for detecting potential side-channel vulnerabilities in cryptographic libraries. Recently, a n 更多..
VerifiableFL: Verifiable Claims for Federated Learning using Exclaves
In federated learning (FL), data providers jointly train a machine learning model without sharing their training data. This makes it challenging to pr 更多..
We present Hecate, a modular lossless genomic compression framework. It is designed around uncommon but practical source-coding choices. Unlike many s 更多..
Quantum Attacks Targeting Nuclear Power Plants: Threat Analysis, Defense and Mitigation Strategies
The advent of Cryptographically Relevant Quantum Computers (CRQCs) presents a fundamental and existential threat to the forensic integrity and operati 更多..
Security Risks of VOA-Induced Luminescence in Chip-Based quantum key distribution
Integrated photonics is widely regarded as a key enabler for scalable quantum key distribution (QKD), offering compactness, stability, and compatibili 更多..