Cong Sun - RankMe

82 papers A* 5A 4B 4C 3Journal 49Unranked 17

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