中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：11

  • 谢弘毅

    合作成果数：6

  • Chen, Taolue

    合作成果数：6

  • 张俊

    合作成果数：4

  • 孙璞

    合作成果数：2
高鹏飞 博士生
所在学院： 信息科学与技术学院
职务： --
研究方向：
备注： --
高鹏飞

科研成果

14 8255 769 70 0 5
Items Views Downloads TC[WOS] TC[CSCD] H-index
排序方式：
 [1] Gao, Pengfei,Zhang, Yedi,Song, Fu,Chen, Taolue,&Standaert, Francois-Xavier.(2023).Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES,7(OOPSLA2).浏览/下载:238/0; 被引[WOS]:0; IF:2.2/3.2评论推荐收藏
 [2] Tan, Huiyu,Gao, Pengfei,Chen, Taolue,et al. SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. 2023.浏览/下载:376/0; 被引[WOS]:0评论推荐收藏
 [3] 高鹏飞. 掩码程序抗功耗侧信道攻击安全性的形式化验证[D]. 上海. 上海科技大学. 2023-05-13.浏览/下载:22/0评论推荐收藏
 [4] Sun, Pu,Chen, Sen,Fan, Lingling,Gao, Pengfei,Song, Fu,&Yang, Min.(2023).VenomAttack: automated and adaptive activity hijacking in Android.FRONTIERS OF COMPUTER SCIENCE,17(1).浏览/下载:597/1; 被引[WOS]:0; IF:3.4/3.1评论推荐收藏
 [5] Gao, Pengfei,Xu, Yongjie,Song, Fu,&Chen, Taolue.(2022).Model-based automated testing of JavaScript Web applications via longer test sequences.FRONTIERS OF COMPUTER SCIENCE,16(3).浏览/下载:630/216; 被引[WOS]:4; IF:3.4/3.1评论推荐收藏
 [6] Gao Pengfei,Xie Hongyi,Pu Sun,Jun Zhang,Fu Song,&Chen, Taolue.(2022).Formal Verification of Masking Countermeasures for Arithmetic Programs.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,48(3),1.浏览/下载:990/2; 被引[WOS]:8; IF:6.5/7.0评论推荐收藏
 [7] Gao, Pengfei,Xie, Hongyi,Song, Fu,&Chen, Taolue.(2021).A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,30(3).浏览/下载:543/250; 被引[WOS]:6; IF:6.6/6.6评论推荐收藏
 [8] 宋富, 高鹏飞, 谢弘毅. 一种基于图同构的程序高阶功耗侧信道安全性的证明方法. 2020-09-03.浏览/下载:255/0评论推荐收藏
 [9] 宋富, 高鹏飞, 谢弘毅. 一种基于gpu的模型计数及其约束的求解方法. 2020-09-02.浏览/下载:210/0评论推荐收藏
 [10] 宋富, 高鹏飞, 谢弘毅. 一种基于分治的程序高阶功耗侧信道安全性的证明方法. 2020-09-02.浏览/下载:265/0评论推荐收藏