Cong Sun

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 52

Top Topics

Malware Detection

Abnormal Behavior

Top Venues

Sci. China Inf. Sci.

Publications

Xiaomin Wei, Cong Sun, Xinghua Li, Jianfeng Ma
GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio. J. Syst. Archit. 153 (2024)
Ziyu Wang, Cong Sun
LICAPA: Lightweight collective attestation for physical attacks detection in highly dynamic networks. Pervasive Mob. Comput. 99 (2024)
Yafei Wu, Cong Sun, Dongrui Zeng, Gang Tan, Siqi Ma, Peicheng Wang
LibScan: Towards More Precise Third-Party Library Identification for Android Applications. USENIX Security Symposium (2023)
Yafei Wu, Jian Shi, Peicheng Wang, Dongrui Zeng, Cong Sun
DeepCatra: Learning flow- and graph-based behaviours for Android malware detection. IET Inf. Secur. 17 (1) (2023)
Cong Sun, Xinpeng Xu, Yafei Wu, Dongrui Zeng, Gang Tan, Siqi Ma, Peicheng Wang
CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data-flow analysis. IET Inf. Secur. 17 (4) (2023)
Cong Sun, Yuwan Ma, Dongrui Zeng, Gang Tan, Siqi Ma, Yafei Wu
μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Sun Hyoung Kim, Dongrui Zeng, Cong Sun, Gang Tan
BinPointer: towards precise, sound, and scalable binary-level pointer analysis. CC (2022)
Ruidong Han, Chao Yang, Siqi Ma, JiangFeng Ma, Cong Sun, Juanru Li, Elisa Bertino
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. ICSE (2022)
Xiaomin Wei, Cong Sun, Minjie Lyu, Qipeng Song, Yue Li
ConstDet: Control Semantics-Based Detection for GPS Spoofing Attacks on UAVs. Remote. Sens. 14 (21) (2022)
Yafei Wu, Jian Shi, Peicheng Wang, Dongrui Zeng, Cong Sun
DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection. CoRR (2022)
Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal, Diethelm Ostry, Cong Sun
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps. CoRR (2021)
Ning Xi, Chao Chen, Jun Zhang, Cong Sun, Shigang Liu, Pengbin Feng, Jianfeng Ma
Information flow based defensive chain for data leakage detection and prevention: a survey. CoRR (2021)
Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. QRS (2021)
Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal, Diethelm Ostry, Cong Sun
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps. ICSE (2021)
Yumei Zhang, Xinzhi Liu, Cong Sun, Dongrui Zeng, Gang Tan, Xiao Kan, Siqi Ma
ReCFA: Resilient Control-Flow Attestation. ACSAC (2021)
Cong Sun, Yuwan Ma, Dongrui Zeng, Gang Tan, Siqi Ma, Yafei Wu
μDep: Mutation-based Dependency Generation for Precise Taint Analysis on Android Native Code. CoRR (2021)
Cong Sun, Xinpeng Xu, Yafei Wu, Dongrui Zeng, Gang Tan, Siqi Ma
CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis. CoRR (2021)
Yumei Zhang, Xinzhi Liu, Cong Sun, Dongrui Zeng, Gang Tan, Xiao Kan, Siqi Ma
ReCFA: Resilient Control-Flow Attestation. CoRR (2021)
Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. CoRR (2021)
Sun Hyoung Kim, Cong Sun, Dongrui Zeng, Gang Tan
Refining Indirect Call Targets at the Binary Level. NDSS (2021)
Ziyu Wang, Cong Sun, Qingsong Yao, Duo Ding, Jianfeng Ma
Delica: Decentralized Lightweight Collective Attestation for Disruptive IoT Networks. ICPADS (2021)
Ruidong Han, Chao Yang, Siqi Ma, JiangFeng Ma, Cong Sun, Juanru Li, Elisa Bertino
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. CoRR (2021)
Cong Sun, Jun Chen, Pengbin Feng, Jianfeng Ma
CatraDroid: A Call Trace Driven Detection of Malicious Behaiviors in Android Applications. ML4CS (2019)
Ning Xi, Jing Lv, Cong Sun, Jianfeng Ma
Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments. Entropy 21 (8) (2019)
Teng Li, Jianfeng Ma, Qingqi Pei, Houbing Song, Yulong Shen, Cong Sun
DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and Verification. IEEE Access 7 (2019)
Ning Xi, Cong Sun, Jianfeng Ma, Jing Lv
Distributed Quantitative Information Flow Evaluation for Service Composition in Clouds. TrustCom/BigDataSE (2019)
Teng Li, Jianfeng Ma, Cong Sun
SRDPV: secure route discovery and privacy-preserving verification in MANETs. Wirel. Networks 25 (4) (2019)
Teng Li, Jianfeng Ma, Qingqi Pei, Chengyan Ma, Dawei Wei, Cong Sun
Privacy-Preserving Verification and Root-Cause Tracing Towards UAV Social Networks. ICC (2019)
Paerhatijiang Sidike, Jianfeng Ma, Cong Sun
一种面向二进制的细粒度控制流完整性方法 (Fine-grained Control Flow Integrity Method on Binaries). 计算机科学 46 (11A) (2019)
Teng Li, Jianfeng Ma, Cong Sun, Ning Xi
PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks. J. Inf. Sci. Eng. 34 (4) (2018)
Teng Li, Jianfeng Ma, Cong Sun
Dlog: diagnosing router events with syslogs for anomaly detection. J. Supercomput. 74 (2) (2018)
Pengbin Feng, Jianfeng Ma, Cong Sun, Xinpeng Xu, Yuwan Ma
A Novel Dynamic Android Malware Detection System With Ensemble Learning. IEEE Access 6 (2018)
Cong Sun, Jiao Liu, Yinjuan Jie, Yuwan Ma, Jianfeng Ma
Ridra: A Rigorous Decentralized Randomized Authentication in VANETs. IEEE Access 6 (2018)
Teng Li, Jianfeng Ma, Qingqi Pei, Yulong Shen, Cong Sun
Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification. APSIPA (2018)
Ning Xi, Jianfeng Ma, Cong Sun, Di Lu, Yulong Shen
Information flow control on encrypted data for service composition among multiple clouds. Distributed Parallel Databases 36 (3) (2018)
Teng Li, Jianfeng Ma, Qingqi Pei, Yulong Shen, Cong Sun
Anomalies Detection of Routers Based on Multiple Information Learning. NaNA (2018)
Ning Xi, Cong Sun, Di Lu, Yulong Shen
Distributed Information Flow Verification on Encrypted Data for Service Composition in Multiple Clouds. NaNA (2017)
Ning Xi, Di Lu, Cong Sun, Jianfeng Ma, Yulong Shen
Distributed Secure Service Composition with Declassification in Mobile Clouds. Mob. Inf. Syst. 2017 (2017)
Pengbin Feng, Jianfeng Ma, Cong Sun
Selecting Critical Data Flows in Android Applications for Abnormal Behavior Detection. Mob. Inf. Syst. 2017 (2017)
Teng Li, Jianfeng Ma, Cong Sun
NetPro: detecting attacks in MANET routing with provenance and verification. Sci. China Inf. Sci. 60 (11) (2017)
Cong Sun, Qingsong Yao, Jianfeng Ma
Certia: Certifying Interface Automata for Cyber-Physical Systems. SMARTCOMP (2017)
Cong Sun, Pengbin Feng, Teng Li, Jianfeng Ma
Data-Oriented Instrumentation against Information Leakages of Android Applications. COMPSAC (2) (2017)
Siqi Ma, Ferdian Thung, David Lo, Cong Sun, Robert H. Deng
VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples. ESORICS (2) (2017)
Di Lu, Jianfeng Ma, Cong Sun, Qixuan Wu, Zhaochang Sun, Ning Xi
Building a Secure Scheme for a Trusted Hardware Sharing Environment. IEEE Access 5 (2017)
Cong Sun, Ning Xi, Jianfeng Ma
Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition. COMPSAC (1) (2017)
Cong Sun, Jiao Liu, Xinpeng Xu, Jianfeng Ma
A Privacy-Preserving Mutual Authentication Resisting DoS Attacks in VANETs. IEEE Access 5 (2017)
Teng Li, Jianfeng Ma, Cong Sun, Dawei Wei, Ning Xi
PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks. NaNA (2017)
Di Lu, Jianfeng Ma, Cong Sun, XinDi Ma, Ning Xi
Credit-based scheme for security-aware and fairness-aware resource allocation in cloud computing. Sci. China Inf. Sci. 60 (5) (2017)
Pengbin Feng, Cong Sun, Jianfeng Ma
Measuring the risk value of sensitive dataflow path in Android applications. Secur. Commun. Networks 9 (18) (2016)
Ning Xi, Cong Sun, Jianfeng Ma, Yulong Shen, Di Lu
Distributed Secure Service Composition with Declassification in Mobile Network. NaNA (2016)
Qingsong Yao, Jianfeng Ma, Cong Sun, Xinghua Li, Jinku Li
Attack gives me power: DoS-defending constant-time privacy-preserving authentication of low-cost devices such as backscattering RFID tags. MSCC@MobiHoc (2016)
Cong Sun, Jianfeng Ma, Qingsong Yao
On the architecture and development life cycle of secure cyber-physical systems. J. Commun. Inf. Networks 1 (4) (2016)
Ning Xi, Cong Sun, Jianfeng Ma, Yulong Shen
Secure service composition with information flow control in service clouds. Future Gener. Comput. Syst. 49 (2015)
Teng Li, Jianfeng Ma, Cong Sun
CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks. ICA3PP (3) (2015)
Siqi Ma, Shaowei Wang, David Lo, Robert Huijie Deng, Cong Sun
Active Semi-supervised Approach for Checking App Behavior against Its Description. COMPSAC (2015)
Sheng Gao, Jianfeng Ma, Cong Sun, Xinghua Li
Balancing trajectory privacy and data utility using a personalized anonymization model. J. Netw. Comput. Appl. 38 (2014)
Cong Sun, Ning Xi, Jinku Li, Qingsong Yao, Jianfeng Ma
Verifying Secure Interface Composition for Component-Based System Designs. APSEC (1) (2014)
Tao Zhang, Jianfeng Ma, Qi Li, Ning Xi, Cong Sun
Trust-based service composition in multi-domain environments under time constraint. Sci. China Inf. Sci. 57 (9) (2014)
Cong Sun, Ning Xi, Sheng Gao, Zhong Chen, Jianfeng Ma
Automated enforcement for relaxed information release with reference points. Sci. China Inf. Sci. 57 (11) (2014)
Ning Xi, Jianfeng Ma, Cong Sun, Tao Zhang
Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments. ICWS (2013)
Tao Zhang, Jianfeng Ma, Cong Sun, Qi Li, Ning Xi
Service Composition in Multi-domain Environment under Time Constraint. ICWS (2013)
Ning Xi, Jianfeng Ma, Cong Sun, Yulong Shen, Tao Zhang
Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network. Int. J. Distributed Sens. Networks 9 (2013)
Sheng Gao, Jianfeng Ma, Weisong Shi, Guoxing Zhan, Cong Sun
TrPF: A Trajectory Privacy-Preserving Framework for Participatory Sensing. IEEE Trans. Inf. Forensics Secur. 8 (6) (2013)
Cong Sun, Sheng Gao, Jianfeng Ma
Verifying Location-Based Services with Declassification Enforcement. APWeb (2012)
Cong Sun, Liyong Tang, Zhong Chen
A New Enforcement on Declassification with Reachability Analysis CoRR (2011)
Cong Sun, Ennan Zhai, Zhong Chen, Jianfeng Ma
A Multi-compositional Enforcement on Information Flow Security. ICICS (2011)
Cong Sun, Liyong Tang, Zhong Chen
Enforcing Relaxed Declassifications with Reference Points. ACIS-ICIS (2011)
Cong Sun, Liyong Tang, Zhong Chen
Enforcing Reactive Noninterference with Reachability Analysis. ITNG (2011)
Cong Sun, Liyong Tang, Zhong Chen
Secure Information Flow in Java via Reachability Analysis of Pushdown System. QSIC (2010)
Cong Sun, Liyong Tang, Zhong Chen
Secure Information Flow by Model Checking Pushdown System CoRR (2010)