Typing High-Speed Cryptography against Spectre v1.
该论文针对密码学软件中的瞬态执行攻击（尤其是Spectre v1）提出了一种基于类型系统的方法，以确保推测性常数时间（Speculative Constant-Time），从而在保持高性能的同时为密码实现提供形式化保证。当前密码库的黄金标准
#密码学
共收录 2 条相关情报。
← 返回所有主题Rank-Two Frobenius-Linearized Normal Forms and Orthoderivative Dual Coordinates in Quadratic APN Maps
本文研究有限域上的Frobenius线性化算子的一种正规形分类。设K为二元域F_2的有限扩张，σ为K上固定非平凡的Frobenius自同构，其固定子域为F_2。考虑K^3上两个二项式组成的算子L(Y)=AY^σ+BY，其中A、B为3×3矩阵