中文版 | English

在结果中检索

KMS
（本次检索基于用户作品认领结果）

浏览/检索结果: 共14条，第1-10条 帮助

限定条件        
已选(0)清除 条数/页：   排序方式：
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks 期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2023, 卷号: 7, 期号: OOPSLA2
作者:  
Adobe PDF(415Kb)  |  收藏  |  浏览/下载：231/0  |  提交时间：2023/11/24
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits 预印本
2023
作者:  Tan, Huiyu;  Gao, Pengfei;  Chen, Taolue;  Song, Fu;  Wu, Zhilin
Adobe PDF(1642Kb)  |  收藏  |  浏览/下载：366/0  |  提交时间：2024/06/03
无权访问的条目 学位论文
作者:  高鹏飞
Adobe PDF(1400Kb)  |  收藏  |  浏览/下载：22/0  |  提交时间：2023/04/24
VenomAttack: automated and adaptive activity hijacking in Android 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2023, 卷号: 17, 期号: 1
作者:  Sun, Pu;  Chen, Sen;  Fan, Lingling;  Gao, Pengfei;  Song, Fu
Adobe PDF(4538Kb)  |  收藏  |  浏览/下载：585/1  |  提交时间：2022/08/19
Model-based automated testing of JavaScript Web applications via longer test sequences 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 3
作者:  Gao, Pengfei;  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(757Kb)  |  收藏  |  浏览/下载：621/212  |  提交时间：2021/11/26
Formal Verification of Masking Countermeasures for Arithmetic Programs 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 卷号: 48, 期号: 3, 页码: 1
作者:  Gao Pengfei;  Xie Hongyi;  Pu Sun;  Jun Zhang;  Fu Song
Adobe PDF(1214Kb)  |  收藏  |  浏览/下载：983/2  |  提交时间：2020/07/22
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 卷号: 30, 期号: 3
作者:  Gao, Pengfei;  Xie, Hongyi;  Song, Fu;  Chen, Taolue
Adobe PDF(1205Kb)  |  收藏  |  浏览/下载：537/246  |  提交时间：2021/11/25
一种基于图同构的程序高阶功耗侧信道安全性的证明方法 专利
申请号:CN202010913876.0，申请日期: 2020-09-03，类型:发明申请，状态:授权
发明人:  宋富;   高鹏飞;   谢弘毅
Unknown(427Kb)  |  收藏  |  浏览/下载：249/0  |  提交时间：2021/06/20
一种基于GPU的模型计数及其约束的求解方法 专利
申请号:CN202010908484.5，申请日期: 2020-09-02，类型:发明申请，状态:授权
发明人:  宋富;   高鹏飞;   谢弘毅
Unknown(462Kb)  |  收藏  |  浏览/下载：206/0  |  提交时间：2021/06/20
一种基于分治的程序高阶功耗侧信道安全性的证明方法 专利
申请号:CN202010908485.X，申请日期: 2020-09-02，类型:发明申请，状态:授权
发明人:  宋富;   高鹏飞;   谢弘毅
Unknown(482Kb)  |  收藏  |  浏览/下载：254/0  |  提交时间：2021/06/20
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页