-
选择PUSH_PULL数据传输的代数架构模型_ASE2022
2025年12月19日 30 77 20
数据集概述 本数据集是ASE 2022会议投稿的补充材料，包含PUSH/PULL数据传输代数架构模型的证明文档、图基重构工具、案例研究模型文件、生成的原型代码、性能评估数据及完整实现文件，为该模型的验证与应用提供支持。 文件详解 证明文档： ASE2022_proofs.pdf：PDF格式，包含定理1、2、3及其他引理的详细正确性证明 工具文件：...
-
Falcon_Proof_of_Correctness_基于_密码学算法正确性分析完整文档_生成说明_1_主题_时间_保留Falcon专业术语作为锚点_中...
2025年12月13日 0 8 0
数据集概述 本数据集包含一份关于Falcon正确性证明的文档，核心内容为对Falcon相关理论或算法的正确性验证说明，以单一PDF文件形式呈现，为理解Falcon的正确性逻辑提供直接资料支持。 文件详解 文件名称: ipdps2021_pap373_proof.pdf 文件格式: PDF 内容说明:...
