公开(公告)号：CN113660076A

公开(公告)日：2021-11-16

申请号：CN202110801812.6

申请日：2021-07-15

Applicant: 南京大学

Inventor： 傅玉祥 ,  宋文清 ,  李丽 ,  王艺霖 ,  杨一博 ,  何书专 ,  李伟

IPC: H04L9/00

Abstract: 本发明涉及基于可重构技术的同态加密系统及同态加密执行方法，属于加密算法设计领域。本发明包括主控单元、执行单元、运算阵列和存储单元；执行单元包括加密控制器、同态运算控制器和解密控制器；运算阵列包括数论变换模块、四舍五入取整除法模块和多项式环上的模运算模块；存储单元包括中间结果存储器、源数据缓冲区和结果数据缓冲区；主控单元控制整个系统流程；执行单元驱动运算阵列进行重构；运算阵列对数据进行运算处理；存储单元对数据进行存储。本发明旨在通过利用可重构技术来实现同态加密算法，以期在满足算法所需的较高性能的同时，为同态加密算法的实现提供一定的灵活性。

公开(公告)号：CN110347617A

公开(公告)日：2019-10-18

申请号：CN201910597031.2

申请日：2019-07-03

Applicant: 南京大学

Inventor： 李丽 ,  董英雷 ,  程开丰 ,  赵毅峰 ,  徐瑾 ,  沈思睿 ,  杨一博

IPC: G06F12/1081 ,  G06F13/28

Abstract: 本发明涉及了一种多核SoC中DMA模块的功能验证方法，具体步骤为：首先建立基于有向二分图的多核SoC中DMA模块抽象配置模型；然后采用等价类划分算法将原本扁平无序的配置空间转换成了三层的配置空间树；接着采用深度优先算法对配置空间树的叶子节点集进行遍历，得到包含高层次配置信息的无冗余全覆盖叶子节点序列；最后通过内核相关的DMACfg转换函数将每个叶子节点转换成实际DMA的配置信息。有益效果：本发明的证方法可以在保证完备的功能覆盖率基础上最小化验证配置激励集。

公开(公告)号：CN113342310B

公开(公告)日：2023-08-22

申请号：CN202110679777.5

申请日：2021-06-18

Applicant: 南京大学

Inventor： 李丽 ,  梁晨 ,  傅玉祥 ,  元思炜 ,  杨一博 ,  宋文清 ,  何书专 ,  李伟

IPC: G06F7/76 ,  G06F7/72 ,  G06F15/78

Abstract: 本发明提出了一种应用于格密码的串行参数可配快速数论变换硬件加速器，包括顶层控制模块、数据索引模块、单位根幂次模块、蝶形运算单元模块及蒙哥马利模块。顶层控制模块控制状态转换，数据索引模块对数据存储器进行寻址，单位根幂次模块对单位根的幂次进行存储地址计算，蝶形运算单元模块接收来自存储的数据进行蝶形运算，蒙哥马利模块负责将输入数据转换为蒙哥马利形式以加速后续计算，并将结果转换为正常形式避免发生错误。另外，本发明还可以根据实际需求增加随机数发生器进行冗余运算以防御侧信道攻击。与现有技术相比，本发明运算速度大幅度提高，且参数可配置提高了硬件资源的利用率，同时在保证高性能的基础上兼具了一定的通用性。

公开(公告)号：CN113342310A

公开(公告)日：2021-09-03

申请号：CN202110679777.5

申请日：2021-06-18

Applicant: 南京大学

Inventor： 李丽 ,  梁晨 ,  傅玉祥 ,  元思炜 ,  杨一博 ,  宋文清 ,  何书专 ,  李伟

IPC: G06F7/76 ,  G06F7/72 ,  G06F15/78

Abstract: 本发明提出了一种应用于格密码的串行参数可配快速数论变换硬件加速器，包括顶层控制模块、数据索引模块、单位根幂次模块、蝶形运算单元模块及蒙哥马利模块。顶层控制模块控制状态转换，数据索引模块对数据存储器进行寻址，单位根幂次模块对单位根的幂次进行存储地址计算，蝶形运算单元模块接收来自存储的数据进行蝶形运算，蒙哥马利模块负责将输入数据转换为蒙哥马利形式以加速后续计算，并将结果转换为正常形式避免发生错误。另外，本发明还可以根据实际需求增加随机数发生器进行冗余运算以防御侧信道攻击。与现有技术相比，本发明运算速度大幅度提高，且参数可配置提高了硬件资源的利用率，同时在保证高性能的基础上兼具了一定的通用性。