We present Three-Phase Transformer (3PT), a residual-stream structural prior for decoder-only Transformers on a standard SwiGLU + RMSNorm + RoPE + GQA 更多..
PrivateBoost: Rethinking Federated Learning for Patient-Owned Medical Data: Learning from Single Records at Scale
The translation of artificial intelligence into clinical practice depends, in large part, on access to data that patients are understandably reluctant 更多..
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 更多..
A Novel Leakage Model in OpenSSL’s Miller-Rabin Primality Test
At CRYPTO 2009, Heninger and Shacham presented a branch-and-prune algorithm for reconstructing an RSA private key given a random fraction of its priva 更多..
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 更多..
(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 更多..