论文头条 | DplsLab_北京智慧云测设备技术有限公司

Three-Phase Transformer

发表于 2026 来源 arxiv

下载 PDF

作者

Mohammad R Abu Ayyash

摘要

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

发表于 2026 来源 medrxiv

下载 PDF

作者

Specht,B,Ermis,O,Garbaya,S,Schneider,R,Chavarriaga,R,Khadraoui,D,Tayeb,Z

摘要

The translation of artificial intelligence into clinical practice depends, in large part, on access to data that patients are understandably reluctant 更多..

AmphiKey: A Dual-Mode Secure Authenticated Key Encapsulation Protocol for Smart Grid

发表于 2026 来源 arxiv

下载 PDF

作者

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

发表于 2026 来源 arxiv

下载 PDF

作者

Ray Iskander,Khaled Kirah

摘要

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 更多..

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis

发表于 2026 来源 arxiv

下载 PDF

作者

Nilotpola Sarma,Vaishali Ghanshyam Chaudhuri,Chandan Karfa

摘要

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

发表于 2026 来源 arxiv

下载 PDF

作者

Melki Bino

摘要

Boolean satisfiability (SAT) solvers are widely used in hardware verification, cryptanalysis, automatic test-pattern generation, and side-channel reas 更多..

(Dis)Proving Spectre Security with Speculation-Passing Style

发表于 2026 来源 arxiv

下载 PDF

作者

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

发表于 2026 来源 arxiv

下载 PDF

作者

Jinnan Guo,Kapil Vaswani,Andrew Paverd,Peter Pietzuch

摘要

In federated learning (FL), data providers jointly train a machine learning model without sharing their training data. This makes it challenging to pr 更多..

Hecate: A Modular Genomic Compressor

发表于 2026 来源 arxiv

下载 PDF

作者

Kamila Szewczyk,Sven Rahmann

摘要

We present Hecate, a modular lossless genomic compression framework. It is designed around uncommon but practical source-coding choices. Unlike many s 更多..

A Novel Leakage Model in OpenSSL’s Miller-Rabin Primality Test

发表于 2026 来源 cryptology

下载 PDF

作者

-

摘要

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 更多..