×
验证码:
换一张
Forgotten Password?
Stay signed in
×
Log In By IDS
Login
Chinese
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
Log In By IDS
Login
Register
ALL
ORCID
Title
Creator
Date Issued
Keyword
Document Type
DOI
Source Publication
Date Accessioned
Indexed By
Publisher
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
Subjects
K-Map
K-Integration
Study Hall
Search in the results
Collection
School of... [57]
Authors
Song Fu [57]
Zhao Zhe [12]
Chen Guan... [11]
Gao PengF... [10]
Zhang YeDi [8]
Xie HongYi [6]
More...
Document Type
Conferenc... [27]
Journal a... [20]
Patent [8]
Report [2]
Date Issued
2023 [1]
2022 [15]
2021 [10]
2020 [8]
2019 [7]
2018 [8]
More...
Source Publication
LECTURE NO... [4]
ACM TRANSA... [3]
IEEE TRANS... [3]
2021 IEEE ... [2]
FRONTIERS ... [2]
INFORMATIO... [2]
More...
Language
英语 [37]
中文 [3]
Funding Project
National N... [4]
National N... [3]
Guangdong ... [2]
National N... [2]
National N... [2]
U.S. Natio... [2]
More...
Funding Organization
Indexed By
EI [44]
CPCI [18]
CPCI-S [14]
SCI [12]
SCIE [12]
CSCD [2]
More...
×
Knowledge Map
KMS
>
信息科学与技术学院
>
PI研究组
>
宋富组
Feedback
宋富组
Help
All of repository
宋富组
Browse Items
Browse/Search Results:
1-10 of 57
Help
Filters
Community：宋富组
First author affiliation
The first author
Corresponding Author
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
WOS Cited Times Ascending
WOS Cited Times Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Title Ascending
Title Descending
Submit date Ascending
Submit date Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
VenomAttack: automated and adaptive activity hijacking in Android
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2023, 卷号: 17, 期号: 1
Authors:
Sun, Pu
;
Chen, Sen
;
Fan, Lingling
;
Gao, Pengfei
;
Song, Fu
Adobe PDF(4538Kb)
|
Favorite
|
View/Download：172/1
|
Submit date：2022/08/19
Android (operating system)
Automation
Network security
Activity hijacking
Android
Android securities
Attack capability
Defence mechanisms
Large-scales
Phishing
Security threats
Spectra's
State of the art
DeJITLeak: eliminating JIT-induced timing side-channel leaks
会议论文
ESEC/FSE 2022 - PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, Singapore, Singapore, November 14, 2022 - November 18, 2022
Authors:
Qin, Qi
;
Jiyang, JulianAndres
;
Song, Fu
;
Chen, Taolue
;
Xing, Xinyu
Favorite
|
View/Download：54/0
|
Submit date：2022/12/16
Formal methods
Semantics
Side channel attack
Detection
Fine grained
Formal Semantics
Just-in-time
Just-in-time compilation
Mitigation
Secret information
Source codes
Timing side channels
Type inferences
ESAMPLER: Boosting sampling of satisfying assignments for Boolean formulas via derivation
期刊论文
JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 卷号: 129
Authors:
Xu, Yongjie
;
Song, Fu
;
Chen, Taolue
Adobe PDF(2750Kb)
|
Favorite
|
View/Download：59/0
|
Submit date：2022/07/15
Bayesian networks
Boolean functions
Computational complexity
Inference engines
Random number generation
Boolean formulae
Boolean satisfiability
Classical problems
Constraint-based
Constraint-based sampling
Data optimization
Data testing
Satisfiability solving
Satisfying assignments
State of the art
系统软件安全专题前言
期刊论文
软件学报, 2022, 卷号: 33, 期号: 06, 页码: 1959-1960
Authors:
杨珉
;
张超
;
宋富
;
张源
Adobe PDF(358Kb)
|
Favorite
|
View/Download：23/0
|
Submit date：2022/12/14
系统软件
引用计数
口令攻击
Model-based automated testing of JavaScript Web applications via longer test sequences
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 3
Authors:
Gao, Pengfei
;
Xu, Yongjie
;
Song, Fu
;
Chen, Taolue
View
|
Adobe PDF(757Kb)
|
Favorite
|
View/Download：183/71
|
Submit date：2021/11/26
model-based testing
automated testing
JavaScript Web applications
CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning
会议论文
WWW 2022 - PROCEEDINGS OF THE ACM WEB CONFERENCE 2022, Virtual, Online, France, April 25, 2022 - April 29, 2022
Authors:
Sun, Zhensu
;
Du, Xiaoning
;
Song, Fu
;
Ni, Mingze
;
Li, Li
Adobe PDF(2115Kb)
|
Favorite
|
View/Download：124/0
|
Submit date：2022/05/27
Deep learning
Open Data
Open source software
Computer science research
Copyleft
Data poisoning
Dataset protection
Deep learning
Ethical problems
Learn+
Learning models
Open-source code
Security problems
基于语音声学特征压缩的语音对抗样本防御方法及应用
专利
申请号:CN202111060044.X，申请日期: 2022-03-25，类型:发明申请，状态:实质审查
Inventors:
宋富
;
陈光科
;
赵哲
Adobe PDF(507Kb)
|
Favorite
|
View/Download：162/0
|
Submit date：2022/03/25
Formal Verification of Masking Countermeasures for Arithmetic Programs
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 卷号: PP, 期号: 99, 页码: 1
Authors:
Gao Pengfei
;
Xie Hongyi
;
Pu Sun
;
Jun Zhang
;
Fu Song
Adobe PDF(1214Kb)
|
Favorite
|
View/Download：387/0
|
Submit date：2020/07/22
Cryptography
Tools
Computational modeling
Software algorithms
Power demand
Cognition
QVIP: An ILP-based formal verification approach for quantized neural networks
会议论文
37TH IEEE/ ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING
Authors:
Zhang, Yedi
;
Zhao, Zhe
;
Chen, Guangke
;
Song, Fu
;
Zhang, Min
Adobe PDF(1853Kb)
|
Favorite
|
View/Download：44/0
|
Submit date：2022/11/09
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
会议论文
29TH STATIC ANALYSIS SYMPOSIUM (SAS), 2022, null,Auckland,NEW ZEALAND, DEC 05-07, 2022
Authors:
Zhao, Zhe
;
Zhang, Yedi
;
Chen, Guangke
;
Song, Fu
;
Chen, Taolue
Favorite
|
View/Download：49/0
|
Submit date：2022/11/09
