消息
×
loading..
KMS

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

  只显示已认领条目
已选(0)清除 条数/页:   排序方式:
Verification of Bit-Flip Attacks against Quantized Neural Networks 期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2025, 卷号: 9, 期号: OOPSLA1
作者:  Zhang, Yedi;  Huang, Lei;  Gao, Pengfei;  Song, Fu;  Sun, Jun
Adobe PDF(1010Kb)  |  收藏  |  浏览/下载:18/1  |  提交时间:2025/05/30
Certified Quantization Strategy Synthesis for Neural Networks 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Milan, Italy, September 9, 2024 - September 13, 2024
作者:  Zhang, Yedi;  Chen, Guangke;  Song, Fu;  Sun, Jun;  Dong, Jin Song
收藏  |  浏览/下载:381/0  |  提交时间:2024/10/11
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems 会议论文
31ST NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2024)
作者:  Chen, Guangke;  Zhang, Yedi;  Song, Fu
Adobe PDF(1628Kb)  |  收藏  |  浏览/下载:698/0  |  提交时间:2023/09/28
A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion 预印本
2024
作者:  Chen, Guangke;  Zhang, Yedi;  Song, Fu;  Wang, Ting;  Du, Xiaoning
Adobe PDF(1021Kb)  |  收藏  |  浏览/下载:199/1  |  提交时间:2024/06/03
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks 期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2023, 卷号: 7, 期号: OOPSLA2
作者:  Gao, Pengfei;  Zhang, Yedi;  Song, Fu;  Chen, Taolue;  Standaert, Francois-Xavier
Adobe PDF(415Kb)  |  收藏  |  浏览/下载:266/0  |  提交时间:2023/11/24
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems 会议论文
32ND USENIX SECURITY SYMPOSIUM (USENIX SECURITY 2023), Anaheim, CA, United states, August 9, 2023 - August 11, 2023
作者:  Chen, Guangke;  Zhang, Yedi;  Zhao, Zhe;  Song, Fu
Adobe PDF(1028Kb)  |  收藏  |  浏览/下载:563/0  |  提交时间:2023/09/28
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems 预印本
2023
作者:  Chen, Guangke;  Zhang, Yedi;  Zhao, Zhe;  Song, Fu
Adobe PDF(1304Kb)  |  收藏  |  浏览/下载:253/0  |  提交时间:2024/01/09
QEBVerif: Quantization Error Bound Verification of Neural Networks 会议论文
ARXIV, null,Paris,FRANCE, JUL 17-22, 2023
作者:  Zhang, Yedi;  Song, Fu;  Sun, Jun
Adobe PDF(1170Kb)  |  收藏  |  浏览/下载:234/0  |  提交时间:2024/01/09
量化神经网络的形式化验证 学位论文
上海: 上海科技大学, 2023
作者:  张业迪
Adobe PDF(4435Kb)  |  收藏  |  浏览/下载:27/1  |  提交时间:2023/04/24
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks 会议论文
PROCEEDINGS OF THE 29TH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM, SAS 2022, null,Auckland,NEW ZEALAND, DEC 05-07, 2022
作者:  Zhao, Zhe;  Zhang, Yedi;  Chen, Guangke;  Song, Fu;  Chen, Taolue
Adobe PDF(16335Kb)  |  收藏  |  浏览/下载:321/1  |  提交时间:2022/11/09
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页