Browse Items

Browse/Search Results:  1-10 of 43 Help

Filters                
Selected(0)Clear Items/Page:    Sort:
Inferring Loop Invariants for Multi-Path Loops 会议论文
PROCEEDINGS - 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2021, Shanghai, China, August 25, 2021 - August 27, 2021
Authors:  Lin, Yingwen;  Zhang, Yao;  Chen, Sen;  Song, Fu;  Xie, Xiaofei
Adobe PDF(253Kb)  |  Favorite  |  View/Download:49/0  |  Submit date:2021/12/03
Attack as defense: Characterizing adversarial examples using robustness 会议论文
ISSTA 2021 - PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, Virtual, Online, Denmark, July 11, 2021 - July 17, 2021
Authors:  Zhao, Zhe;  Chen, Guangke;  Wang, Jingyi;  Yang, Yiwei;  Song, Fu
Adobe PDF(14318Kb)  |  Favorite  |  View/Download:47/0  |  Submit date:2021/12/03
基于二元决策图的二值神经网络定量分析方法 专利
申请号:CN202110619510.7,申请日期: 2021-06-03,类型:发明申请,状态:实质审查
Inventors:  宋富;   张业迪
Adobe PDF(1310Kb)  |  Favorite  |  View/Download:112/7  |  Submit date:2021/09/12
Who is real bob? Adversarial attacks on speaker recognition systems 会议论文
PROCEEDINGS - IEEE SYMPOSIUM ON SECURITY AND PRIVACY, Virtual, San Francisco, CA, United states, May 24, 2021 - May 27, 2021
Authors:  Chen, Guangke;  Chenb, Sen;  Fan, Lingling;  Du, Xiaoning;  Zhao, Zhe
View  |  Adobe PDF(789Kb)  |  Favorite  |  View/Download:72/16  |  Submit date:2021/12/03
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks 会议论文
LECTURE NOTES IN COMPUTER SCIENCE
Authors:  Zhang, Yedi;  Zhao, Zhe;  Chen, Guangke;  Song, Fu;  Chen, Taolue
Favorite  |  View/Download:56/0  |  Submit date:2021/10/22
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 卷号: 30, 期号: 3
Authors:  Gao, Pengfei;  Xie, Hongyi;  Song, Fu;  Chen, Taolue
View  |  Adobe PDF(1205Kb)  |  Favorite  |  View/Download:51/17  |  Submit date:2021/11/25
Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers 期刊论文
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2021, 卷号: 36, 期号: 9, 页码: 5210-5240
Authors:  Song, Fu;  Lei, Yusi;  Chen, Sen;  Fan, Lingling;  Liu, Yang
View  |  Adobe PDF(3781Kb)  |  Favorite  |  View/Download:120/26  |  Submit date:2021/07/02
Model-based automated testing of JavaScript Web applications via longer test sequences 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 16, 期号: 3
Authors:  Gao,Pengfei;  Xu,Yongjie;  Song,Fu;  Chen,Taolue
View  |  Adobe PDF(757Kb)  |  Favorite  |  View/Download:56/18  |  Submit date:2021/11/26
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
Authors:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Favorite  |  View/Download:33/0  |  Submit date:2021/12/17
一种基于攻击成本的对抗样本检测方法 专利
申请号:CN202011285900.7,申请日期: 2020-11-17,类型:发明申请,状态:实质审查
Inventors:  宋富;   赵哲;   陈光科
Favorite  |  View/Download:55/0  |  Submit date:2021/06/20