Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding
本文研究综合征解码问题(Syndrome Decoding Problem, SDP)的一种代数化求解路线,并把代数建模与信息集解码(Information Set Decoding, ISD)范式结合起来。SDP 是码基密码学的核心困难问
#cs.SC
共收录 7 条相关情报。
← 返回所有主题Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution
量子密钥分发（QKD）协议通过量子力学原理提供信息论安全性，但实际部署中QKD本质上是混合协议：其安全结论高度依赖量子阶段与经典后处理阶段的正确集成。虽然ETSI和ITU-T等标准组织已定义了QKD的架构与接口，但现有规范通常在隔离条件下评
Algebraic Modelings of the Supersingular Isogeny Problem
该论文提出了一种新的代数建模方法，用于解决超奇异同源问题（Supersingular Isogeny Problem）。该问题在后量子密码学中至关重要，特别是对于基于同源的密码方案（如SIKE）的安全性基础。传统的代数建模通常使用模多项式，
Derivative-Free Richelot Isogenies via Subresultants with Algebraic Certification
该论文针对超椭圆曲线（genus-2）上经典的 Richelot (2,2)-同源步提出了一种完全无导数的重表述。传统的 Richelot 步骤通过曲线 f=uvw 的因式分解，利用 Wronskian 导数构造目标三元组 (U,V,W)。
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
该论文聚焦于Linux内核扩展程序eBPF的安全迁移问题。eBPF程序被广泛用于网络、可观测性及安全策略执行，但其内核验证器仅检查低级内存安全和终止性，未强制许多高级源级属性，如初始化规则、schema一致性或错误处理。作者识别出六类源级b
Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
在基于格的密码学中，多项式乘法是核心运算。数论变换（NTT）能够实现快速乘法，但其系数域模数有严格限制。Hafiz等人（2025）通过引入不完全NTT（incomplete NTT）解决了这一局限，该方案将截断NTT与传统乘法方法结合。本文
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
本文介绍了 Zorya 符号执行框架的扩展，使其能够处理由 Go 标准 gc 编译器生成的多线程二进制文件。Zorya 框架最初仅支持单线程 TinyGo 二进制，通过将二进制提升到 Ghidra 的 P-Code 中间表示，并利用 Z3