×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
反馈留言
个人主页
个人信息
个人简介
科研成果
会议论文(7)
期刊论文(3)
专利(1)
学位论文(1)
预印本(1)
来源
31ST NETWORK AND DISTRIBUT...(1)
32ND USENIX SECURITY SYMPO...(1)
ACM TRANSACTIONS ON SOFTWA...(1)
ARXIV(1)
Arxiv(1)
PROCEEDINGS OF THE 29TH IN...(1)
收录类别
EI(9)
CPCI-S(5)
CPCI(2)
CSCD(1)
SCI(1)
北大核心(1)
访问统计
来源
31ST NETWORK AND DISTRIBUT...(1)
32ND USENIX SECURITY SYMPO...(1)
ACM TRANSACTIONS ON SOFTWA...(1)
ARXIV(1)
Arxiv(1)
PROCEEDINGS OF THE 29TH IN...(1)
PROCEEDINGS OF THE 33RD AA...(1)
PROCEEDINGS OF THE 33RD IN...(1)
PROCEEDINGS OF THE 37TH IE...(1)
PROCEEDINGS OF THE ACM ON ...(1)
软件学报(1)
发表日期
2024(1)
2023(5)
2022(3)
2021(2)
2019(1)
2018(1)
关键词云
More»
成果统计
More»
×
知识图谱
合作作者[TOP 5]
点击查看合作网络
宋富
合作成果数:11
陈光科
合作成果数:7
赵哲
合作成果数:6
Chen, Taolue
合作成果数:6
Sun, Jun
合作成果数:2
合作作者
宋富
合作成果数:11
陈光科
合作成果数:7
赵哲
合作成果数:6
Chen, Taolue
合作成果数:6
Sun, Jun
合作成果数:2
高鹏飞
合作成果数:1
Liu, Jiaxiang
合作成果数:1
Song, Fu
合作成果数:1
Standaert, Francois-Xavier
合作成果数:1
Tang, Yu
合作成果数:1
Xu, Zhiwu
合作成果数:1
Zhang, Min
合作成果数:1
张业迪
博士生
所在学院:
信息科学与技术学院
职务:
--
研究方向:
备注:
--
科研成果
13
4679
13
41
0
4
Items
Views
Downloads
TC[WOS]
TC[CSCD]
H-index
排序方式:
按发表日期降序
按发表日期升序
按WOS被引频次降序
按期刊影响因子降序
正在努力地加载数据中,请稍候……
[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
评论
推荐
收藏
每页显示
10
0
条
‹
1
2
›