关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数:11

  • 陈光科

    合作成果数:7

  • 赵哲

    合作成果数:6

  • Chen, Taolue

    合作成果数:6

  • Sun, Jun

    合作成果数:2

张业迪 博士生
所在学院: 信息科学与技术学院
职务: --
研究方向:
备注: --
张业迪

科研成果

13 4679 13 41 0 4
Items Views Downloads TC[WOS] TC[CSCD] H-index
排序方式:
 [1] Chen, Guangke,Zhang, Yedi,Song, Fu. Slmia-sr: Speaker-level Membership Inference Attacks Against Speaker Recognition Systems[C]. 31st Network And Distributed System Security Symposium (ndss 2024).2024-02-01.浏览/下载:643/0; 被引[WOS]:0评论推荐收藏
 [2] 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).浏览/下载:233/0; 被引[WOS]:0; IF:2.2/3.2评论推荐收藏
 [3] Chen, Guangke,Zhang, Yedi,Zhao, Zhe,et al. Qfa2sr: Query-free Adversarial Transfer Attacks To Speaker Recognition Systems[C]. 32nd Usenix Security Symposium (usenix Security 2023).Usenix Association.2023-08-01,2437-2454.浏览/下载:522/0评论推荐收藏
 [4] Chen, Guangke,Zhang, Yedi,Zhao, Zhe,et al. QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. 2023.浏览/下载:223/0; 被引[WOS]:0评论推荐收藏
 [5] Zhang, Yedi,Song, Fu,Sun, Jun. Qebverif: Quantization Error Bound Verification Of Neural Networks[C]. Arxiv.Gewerbestrasse 11, Cham, Ch-6330, Switzerland.Springer International Publishing Ag.2023-05-23.浏览/下载:204/0; 被引[WOS]:0; IF:0.402/0.000评论推荐收藏
 [6] 张业迪. 量化神经网络的形式化验证[D]. 上海. 上海科技大学. 2023-05-13.浏览/下载:27/1评论推荐收藏
 [7] Zhang, Yedi,Zhao, Zhe,Chen, Guangke,et al. Qvip: An Ilp-based Formal Verification Approach For Quantized Neural Networks[C]. Proceedings Of The 37th Ieee/ Acm International Conference On Automated Software Engineering, Ase 2022.1601 Broadway, 10th Floor, New York, Ny, United States.Assoc Computing Machinery.2022-01-01.浏览/下载:362/0; 被引[WOS]:11评论推荐收藏
 [8] Zhao, Zhe,Zhang, Yedi,Chen, Guangke,et al. Cleverest: Accelerating Cegar-based Neural Network Verification Via Adversarial Attacks[C]. Proceedings Of The 29th International Static Analysis Symposium, Sas 2022.Gewerbestrasse 11, Cham, Ch-6330, Switzerland.Springer International Publishing Ag.2022-01-01.浏览/下载:295/1; 被引[WOS]:7; IF:0.402/0.000评论推荐收藏
 [9] Zhang, Yedi,Zhao, Zhe,Chen, Guangke,Song, Fu,&Chen, Taolue.(2022).Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,32(3).浏览/下载:229/0; 被引[WOS]:4; IF:6.6/6.6评论推荐收藏
 [10] 宋富, 张业迪. 基于二元决策图的二值神经网络定量分析方法. 2021-06-03.浏览/下载:437/8评论推荐收藏