公开(公告)号：CN113138797B

公开(公告)日：2024-04-02

申请号：CN202010065323.4

申请日：2020-01-20

Applicant: 上海交通大学

Inventor： 张媛媛 ,  王舒然 ,  冯润涵

IPC: G06F8/76

Abstract: 一种面向Intel SGX的程序自动化移植系统，包括：标记模块、分析模块和代码生成模块，其中：标记模块与分析模块相连并传输敏感变量相关信息，分析模块与代码生成模块相连并传输敏感变量相关的函数信息，代码生成模块根据原程序代码以及敏感函数信息，生成可信代码和不可信代码。本发明将源代码中敏感的部分抽取到Enclave中，减少了内存的负载；使可信计算基尽可能小，从而减小了攻击面；不用将程序所需的运行时环境以Library OS等形式移植进Enclave内部，适用范围更加广泛。

公开(公告)号：CN113138797A

公开(公告)日：2021-07-20

申请号：CN202010065323.4

申请日：2020-01-20

Applicant: 上海交通大学

Inventor： 张媛媛 ,  王舒然 ,  冯润涵

IPC: G06F8/76

Abstract: 一种面向Intel SGX的程序自动化移植系统，包括：标记模块、分析模块和代码生成模块，其中：标记模块与分析模块相连并传输敏感变量相关信息，分析模块与代码生成模块相连并传输敏感变量相关的函数信息，代码生成模块根据原程序代码以及敏感函数信息，生成可信代码和不可信代码。本发明将源代码中敏感的部分抽取到Enclave中，减少了内存的负载；使可信计算基尽可能小，从而减小了攻击面；不用将程序所需的运行时环境以Library OS等形式移植进Enclave内部，适用范围更加广泛。

公开(公告)号：CN110365481A

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

申请号：CN201910598068.7

申请日：2019-07-04

Applicant: 上海交通大学

Inventor： 谷大武 ,  麦龙 ,  王舒然 ,  贾淞淋 ,  李卷孺

IPC: H04L9/30 ,  H04L9/32 ,  H04L9/08

Abstract: 一种加速国密SM2算法的优化实现系统及方法，包括：由摘要信息生成单元、签名生成单元构成的签名模块和由验证点生成单元、签名验证单元构成的验签模块，其中：签名模块通过摘要信息生成单元生成摘要值并输出至签名生成单元，签名生成单元通过预制表及点加运算得到椭圆曲线基点G的k倍点[k]G的点乘结果并快速生成签名数据(r,s)；验签模块中的验证点生成单元根据签名数据(r,s)得到中间参数并通过预计算表得到验证点坐标后输出至签名验证单元，签名验证单元根据验证点坐标得到验证信息用于核对签名数据实现验签。本发明通过对算法中的标量乘法以及底层实现进行优化，使得国密SM2算法的运算速度有大幅度的提升。