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
Favorite  |  View/Download:21/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
Favorite  |  View/Download:12/0  |  Submit date:2021/12/03
基于二元决策图的二值神经网络定量分析方法 专利
申请号:CN202110619510.7,申请日期: 2021-06-03,类型:发明申请,状态:实质审查
Inventors:  宋富;   张业迪
Adobe PDF(1310Kb)  |  Favorite  |  View/Download:74/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:24/7  |  Submit date:2021/12/03
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks 会议论文
COMPUTER AIDED VERIFICATION (CAV 2021), PT I
Authors:  Zhang, Yedi;  Zhao, Zhe;  Chen, Guangke;  Song, Fu;  Chen, Taolue
Favorite  |  View/Download:33/0  |  Submit date:2021/10/22
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:19/5  |  Submit date:2021/11/26
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:17/5  |  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:81/13  |  Submit date:2021/07/02
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Beijing, China, November 25, 2021 - November 27, 2021
Authors:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Favorite  |  View/Download:10/0  |  Submit date:2021/12/17
一种基于攻击成本的对抗样本检测方法 专利
申请号:CN202011285900.7,申请日期: 2020-11-17,类型:发明申请,状态:实质审查
Inventors:  宋富;   赵哲;   陈光科
Favorite  |  View/Download:34/0  |  Submit date:2021/06/20