标题 | 作者 | 年卷期:起止页码 | 复制 |
半均匀LWE问题的紧致归约
|
王洋,王明强
|
2025,36(10):0-0
|
|
基于FPGA的格基数字签名算法硬件优化实
|
胡跃,赵旭阳,王威,袁谦,YANG Ya-Fang,郑婕妤,杨亚芳
|
2025,36(10):0-0
|
|
具有用户自主链接及验证者条件撤销的格基群签名
|
陈颖,何德彪,彭聪,罗敏
|
2025,36(10):0-0
|
|
基于多父链辅助工作量证明共识机制的后量子区块链系统
|
王御天,贾舒瑞,陈铭希,董怡帆,杨亚芳
|
2025,36(10):0-0
|
|
SM3-OTS:基于国密算法SM3的紧凑型后量子一次签名方案
|
杨亚涛,殷方锐,陈亮宇,潘登
|
2025,36(10):0-0
|
|
基于Kyber公钥加密的高效认证密钥交换协议
|
米瑞琪,江浩东,张振峰
|
2025,36(10):0-0
|
|
抗量子的高效区块链认证存储方案
|
张川,任旭豪,邓淏天,王亚杰,李春海,吴桐,王励成
|
2025,36(10):0-0
|
|
基于RISC-V VLIW架构的混合指令调度算法
|
李奕瑾,杜绍敏,赵家程,王雪莹,查永权,崔慧敏
|
2025,36(9):0-0
|
|
Spike-FlexiCAS:支持缓存架构灵活配置的RISC-V处理器模拟器
|
韩金池,王智栋,马浩,宋威
|
2025,36(9):0-0
|
|
RISC-V架构下的懒惰影子页表模型
|
李传东,衣然,罗英伟,汪小林,王振林
|
2025,36(9):0-0
|
|
面向RISC-V向量扩展的高性能算法库优化方法
|
韩柳彤,张洪滨,邢明杰,武延军,赵琛
|
2025,36(9):0-0
|
|
RISC-V内存模型的同地址顺序一致性定理证明
|
徐学政,杨德亨,王璐,王涛,黄安文,李琼
|
2025,36(9):1-18
|
|
Fast-USYN:从酉矩阵到高质量量子电路的快速合成方法
|
谭思危,卢丽强,郎聪亮,陈明帅,尹建伟
|
2025,36(8):0-0
|
|
神经网络的增量验证
|
刘宗鑫,迟智名,赵梦宇,黄承超,黄小炜,蔡少伟,张立军,杨鹏飞
|
2025,36(8):0-0
|
|
单球驱动平衡机器人运动学和动力学形式化验证
|
张善强,张景芝,施智平,王国辉,关永
|
2025,36(8):0-0
|
|
基于记忆策略的元解释学习
|
王榕,田聪,孙军,于斌,段振华
|
2025,36(8):0-0
|
|
GhostFunc:一种针对Rust操作系统内核的验证方法
|
何韬,董威,文艳军
|
2025,36(8):0-0
|
|
基于SML4ADS2.0的自动驾驶场景建模与边缘关键场景生成方法
|
杜德慧,叶振,郑成行,朱珍珍,李家蕴
|
2025,36(8):0-0
|
|
动态顺序统计树类结构的函数式建模及其自动化验证
|
左正康,刘增鑫,柯雨含,游珍,王昌晶
|
2025,36(8):0-0
|
|
基于下推自动机的同步数据流语言可信编译方法
|
于涛,王珊珊,徐芊卉,董晓晗,胡代金,罗杰,杨溢龙,吕江花,马殿富
|
2025,36(8):0-0
|
|
|