中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：5

  • 高鹏飞

    合作成果数：4

  • 王丰

    合作成果数：2

  • 谢弘毅

    合作成果数：2

  • Chen, Taolue

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

科研成果

8 8587 941 136 0 5
Items Views Downloads TC[WOS] TC[CSCD] H-index
排序方式：
 [1] Jun Zhang,Ziping Zhao. Improved Stability Bounds For Graph Convolutional Neural Networks Under Graph Perturbations[C]. 2024 Ieee Information Theory Workshop (itw).2024-11-28.浏览/下载:176/1; 被引[WOS]:0评论推荐收藏
 [2] 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.浏览/下载:989/2; 被引[WOS]:8; IF:6.5/7.0评论推荐收藏
 [3] 张俊. SCVerify:抗功耗侧信道攻击软件实现的验证[J]. 计算机科学与探索,2021,15(6):1074-1083.浏览/下载:193/0; 被引[WOS]:0评论推荐收藏
 [4] Gao, Pengfei,Zhang, Jun,Song, Fu,&Wang, Chao.(2019).Verifying and Quantifying Side-channel Resistance of Masked Software Implementations.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,28(3).浏览/下载:946/23; 被引[WOS]:16; IF:6.6/6.6评论推荐收藏
 [5] 王丰,张俊. KRust:Rust形式化可执行语义[J]. 计算机科学与探索,2019,13(12):2008-2014.浏览/下载:197/0; 被引[WOS]:0评论推荐收藏
 [6] Gao, Pengfei,Xie, Hongyi,Zhang, Jun,et al. Quantitative Verification Of Masked Arithmetic Programs Against Side-channel Attacks[C]. The 25th International Conference On Tools And Algorithms For The Construction And Analysis Of Systems.Springer Verlag.2019-01-01,155-173.浏览/下载:1001/19; 被引[WOS]:12评论推荐收藏
 [7] Zhang, Jun,Gao, Pengfei,Song, Fu,et al. Scinfer: Refinement-based Verification Of Software Countermeasures Against Side-channel Attacks[C]. The 30th International Conference On Computer Aided Verification.Springer International Publishing Ag.2018-01-01,157-177.浏览/下载:1993/258; 被引[WOS]:23; IF:0.402/0.000评论推荐收藏
 [8] Wang, Feng,Song, Fu,Zhang, Min,et al. Krust: A Formal Executable Semantics Of Rust[C]. Proceedings 2018 12th International Symposium On Theoretical Aspects Of Software Engineering (tase 2018).345 E 47th St, New York, Ny 10017 Usa.Ieee.2018-01-01,44-51.浏览/下载:1514/318; 被引[WOS]:17评论推荐收藏