Secure Information Flow in Java via Reachability Analysis of Pushdown System. - Cong Sun 001; Liyong Tang; Zhong Chen 001 (QSIC, 2010)

Secure Information Flow by Model Checking Pushdown System - Cong Sun 001; Liyong Tang; Zhong Chen 001 (CoRR, 2010)

Enforcing Relaxed Declassifications with Reference Points. - Cong Sun 001; Liyong Tang; Zhong Chen 001 (ACIS-ICIS, 2011)

A Multi-compositional Enforcement on Information Flow Security. - Cong Sun 001; Ennan Zhai; Zhong Chen 001; Jianfeng Ma 001 (ICICS, 2011)

Enforcing Reactive Noninterference with Reachability Analysis. - Cong Sun 001; Liyong Tang; Zhong Chen 001 (ITNG, 2011)

A New Enforcement on Declassification with Reachability Analysis - Cong Sun 001; Liyong Tang; Zhong Chen 001 (CoRR, 2011)

Verifying Location-Based Services with Declassification Enforcement. - Cong Sun 001; Sheng Gao 002; Jianfeng Ma 001 (APWeb, 2012)

Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments. - Ning Xi 002; Jianfeng Ma 001; Cong Sun 001; Tao Zhang 029 (ICWS, 2013)

Service Composition in Multi-domain Environment under Time Constraint. - Tao Zhang 029; Jianfeng Ma 001; Cong Sun 001; Qi Li 011; Ning Xi 002 (ICWS, 2013)

Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network. - Ning Xi 002; Jianfeng Ma 001; Cong Sun 001; Yulong Shen 001; Tao Zhang 029 (Int. J. Distributed Sens. Networks, 2013)

TrPF: A Trajectory Privacy-Preserving Framework for Participatory Sensing. - Sheng Gao 002; Jianfeng Ma 001; Weisong Shi; Guoxing Zhan; Cong Sun 001 (IEEE Trans. Inf. Forensics Secur., 2013)

Verifying Secure Interface Composition for Component-Based System Designs. - Cong Sun 001; Ning Xi 002; Jinku Li; Qingsong Yao; Jianfeng Ma 001 (APSEC (1), 2014)

Automated enforcement for relaxed information release with reference points. - Cong Sun 001; Ning Xi 002; Sheng Gao 002; Zhong Chen 001; Jianfeng Ma 001 (Sci. China Inf. Sci., 2014)

Trust-based service composition in multi-domain environments under time constraint. - Tao Zhang 029; Jianfeng Ma 001; Qi Li 011; Ning Xi 002; Cong Sun 001 (Sci. China Inf. Sci., 2014)

Balancing trajectory privacy and data utility using a personalized anonymization model. - Sheng Gao 002; Jianfeng Ma 001; Cong Sun 001; Xinghua Li 001 (J. Netw. Comput. Appl., 2014)

Active Semi-supervised Approach for Checking App Behavior against Its Description. - Siqi Ma; Shaowei Wang 002; David Lo 001; Robert Huijie Deng; Cong Sun 001 (COMPSAC, 2015)

CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001 (ICA3PP (3), 2015)

Secure service composition with information flow control in service clouds. - Ning Xi 002; Cong Sun 001; Jianfeng Ma 001; Yulong Shen 001 (Future Gener. Comput. Syst., 2015)

Attack gives me power: DoS-defending constant-time privacy-preserving authentication of low-cost devices such as backscattering RFID tags. - Qingsong Yao; Jianfeng Ma 001; Cong Sun 001; Xinghua Li 001; Jinku Li (MSCC@MobiHoc, 2016)

Distributed Secure Service Composition with Declassification in Mobile Network. - Ning Xi 002; Cong Sun 001; Jianfeng Ma 001; Yulong Shen 001; Di Lu 001 (NaNA, 2016)

On the architecture and development life cycle of secure cyber-physical systems. - Cong Sun 001; Jianfeng Ma 001; Qingsong Yao (J. Commun. Inf. Networks, 2016)

Measuring the risk value of sensitive dataflow path in Android applications. - Pengbin Feng; Cong Sun 001; Jianfeng Ma 001 (Secur. Commun. Networks, 2016)

Data-Oriented Instrumentation against Information Leakages of Android Applications. - Cong Sun 001; Pengbin Feng; Teng Li 003; Jianfeng Ma 001 (COMPSAC (2), 2017)

Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition. - Cong Sun 001; Ning Xi 002; Jianfeng Ma 001 (COMPSAC (1), 2017)

VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples. - Siqi Ma; Ferdian Thung; David Lo 001; Cong Sun 001; Robert H. Deng (ESORICS (2), 2017)

PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001; Dawei Wei; Ning Xi 002 (NaNA, 2017)

Distributed Information Flow Verification on Encrypted Data for Service Composition in Multiple Clouds. - Ning Xi 002; Cong Sun 001; Di Lu 001; Yulong Shen 001 (NaNA, 2017)

Certia: Certifying Interface Automata for Cyber-Physical Systems. - Cong Sun 001; Qingsong Yao; Jianfeng Ma 001 (SMARTCOMP, 2017)

Building a Secure Scheme for a Trusted Hardware Sharing Environment. - Di Lu 001; Jianfeng Ma 001; Cong Sun 001; Qixuan Wu; Zhaochang Sun; Ning Xi 002 (IEEE Access, 2017)

A Privacy-Preserving Mutual Authentication Resisting DoS Attacks in VANETs. - Cong Sun 001; Jiao Liu 002; Xinpeng Xu; Jianfeng Ma 001 (IEEE Access, 2017)

NetPro: detecting attacks in MANET routing with provenance and verification. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001 (Sci. China Inf. Sci., 2017)

Credit-based scheme for security-aware and fairness-aware resource allocation in cloud computing. - Di Lu 001; Jianfeng Ma 001; Cong Sun 001; XinDi Ma; Ning Xi 002 (Sci. China Inf. Sci., 2017)

Selecting Critical Data Flows in Android Applications for Abnormal Behavior Detection. - Pengbin Feng; Jianfeng Ma 001; Cong Sun 001 (Mob. Inf. Syst., 2017)

Distributed Secure Service Composition with Declassification in Mobile Clouds. - Ning Xi 002; Di Lu 001; Cong Sun 001; Jianfeng Ma 001; Yulong Shen 001 (Mob. Inf. Syst., 2017)

Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification. - Teng Li 003; Jianfeng Ma 001; Qingqi Pei; Yulong Shen 001; Cong Sun 001 (APSIPA, 2018)

Anomalies Detection of Routers Based on Multiple Information Learning. - Teng Li 003; Jianfeng Ma 001; Qingqi Pei; Yulong Shen 001; Cong Sun 001 (NaNA, 2018)

A Novel Dynamic Android Malware Detection System With Ensemble Learning. - Pengbin Feng; Jianfeng Ma 001; Cong Sun 001; Xinpeng Xu; Yuwan Ma (IEEE Access, 2018)

Ridra: A Rigorous Decentralized Randomized Authentication in VANETs. - Cong Sun 001; Jiao Liu 002; Yinjuan Jie; Yuwan Ma; Jianfeng Ma 001 (IEEE Access, 2018)

Information flow control on encrypted data for service composition among multiple clouds. - Ning Xi 002; Jianfeng Ma 001; Cong Sun 001; Di Lu 001; Yulong Shen 001 (Distributed Parallel Databases, 2018)

PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001; Ning Xi 002 (J. Inf. Sci. Eng., 2018)

Dlog: diagnosing router events with syslogs for anomaly detection. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001 (J. Supercomput., 2018)

Privacy-Preserving Verification and Root-Cause Tracing Towards UAV Social Networks. - Teng Li 003; Jianfeng Ma 001; Qingqi Pei; Chengyan Ma 001; Dawei Wei; Cong Sun 001 (ICC, 2019)

CatraDroid: A Call Trace Driven Detection of Malicious Behaiviors in Android Applications. - Cong Sun 001; Jun Chen; Pengbin Feng; Jianfeng Ma 001 (ML4CS, 2019)

Distributed Quantitative Information Flow Evaluation for Service Composition in Clouds. - Ning Xi 002; Cong Sun 001; Jianfeng Ma 001; Jing Lv (TrustCom/BigDataSE, 2019)

DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and Verification. - Teng Li 003; Jianfeng Ma 001; Qingqi Pei; Houbing Song; Yulong Shen 001; Cong Sun 001 (IEEE Access, 2019)

Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments. - Ning Xi 002; Jing Lv; Cong Sun 001; Jianfeng Ma 001 (Entropy, 2019)

一种面向二进制的细粒度控制流完整性方法 (Fine-grained Control Flow Integrity Method on Binaries). - Paerhatijiang Sidike; Jianfeng Ma 001; Cong Sun 001 (计算机科学, 2019)

SRDPV: secure route discovery and privacy-preserving verification in MANETs. - Teng Li 003; Jianfeng Ma 001; Cong Sun 001 (Wirel. Networks, 2019)

ReCFA: Resilient Control-Flow Attestation. - Yumei Zhang; Xinzhi Liu; Cong Sun 001; Dongrui Zeng; Gang Tan; Xiao Kan; Siqi Ma (ACSAC, 2021)

Delica: Decentralized Lightweight Collective Attestation for Disruptive IoT Networks. - Ziyu Wang; Cong Sun 001; Qingsong Yao; Duo Ding; Jianfeng Ma 001 (ICPADS, 2021)

Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps. - Siqi Ma; Juanru Li; Hyoungshick Kim; Elisa Bertino; Surya Nepal; Diethelm Ostry; Cong Sun 001 (ICSE, 2021)

Refining Indirect Call Targets at the Binary Level. - Sun Hyoung Kim; Cong Sun 001; Dongrui Zeng; Gang Tan (NDSS, 2021)

Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. - Xiao Kan; Cong Sun 001; Shen Liu 002; Yongzhe Huang; Gang Tan; Siqi Ma; Yumei Zhang (QRS, 2021)

Information flow based defensive chain for data leakage detection and prevention: a survey. - Ning Xi 002; Chao Chen 015; Jun Zhang 010; Cong Sun 001; Shigang Liu; Pengbin Feng; Jianfeng Ma 001 (CoRR, 2021)

CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis. - Cong Sun 001; Xinpeng Xu; Yafei Wu; Dongrui Zeng; Gang Tan; Siqi Ma (CoRR, 2021)

BinPointer: towards precise, sound, and scalable binary-level pointer analysis. - Sun Hyoung Kim; Dongrui Zeng; Cong Sun 001; Gang Tan (CC, 2022)

Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. - Ruidong Han; Chao Yang 016; Siqi Ma; Jianfeng Ma 001; Cong Sun 001; Juanru Li; Elisa Bertino (ICSE, 2022)

DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection. - Yafei Wu; Jian Shi; Peicheng Wang; Dongrui Zeng; Cong Sun 001 (CoRR, 2022)

ConstDet: Control Semantics-Based Detection for GPS Spoofing Attacks on UAVs. - Xiaomin Wei; Cong Sun 001; Minjie Lyu; Qipeng Song; Yue Li (Remote. Sens., 2022)

PerDet: Machine-Learning-Based UAV GPS Spoofing Detection Using Perception Data. - Xiaomin Wei; Yao Wang; Cong Sun 001 (Remote. Sens., 2022)

LibScan: Towards More Precise Third-Party Library Identification for Android Applications. - Yafei Wu; Cong Sun 001; Dongrui Zeng; Gang Tan; Siqi Ma; Peicheng Wang (USENIX Security Symposium, 2023)

μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code. - Cong Sun 001; Yuwan Ma; Dongrui Zeng; Gang Tan; Siqi Ma; Yafei Wu (IEEE Trans. Dependable Secur. Comput., 2023)

DeepCatra: Learning flow- and graph-based behaviours for Android malware detection. - Yafei Wu; Jian Shi; Peicheng Wang; Dongrui Zeng; Cong Sun 001 (IET Inf. Secur., 2023)

CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data-flow analysis. - Cong Sun 001; Xinpeng Xu; Yafei Wu; Dongrui Zeng; Gang Tan; Siqi Ma; Peicheng Wang (IET Inf. Secur., 2023)

VIMU: Effective Physics-based Realtime Detection and Recovery against Stealthy Attacks on UAVs. - Yunbo Wang; Cong Sun 001; Qiaosen Liu; Bingnan Su; Zongxu Zhang; Michael Norris; Gang Tan; Jianfeng Ma 001 (ACSAC, 2024)

Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL. - Xiaomin Wei; Yunwei Dong; Cong Sun 001; Xinghua Li 001; Jianfeng Ma 001 (Int. J. Softw. Informatics, 2024)

GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio. - Xiaomin Wei; Cong Sun 001; Xinghua Li 001; Jianfeng Ma 001 (J. Syst. Archit., 2024)

LICAPA: Lightweight collective attestation for physical attacks detection in highly dynamic networks. - Ziyu Wang; Cong Sun 001 (Pervasive Mob. Comput., 2024)

A Survey on Security of Unmanned Aerial Vehicle Systems: Attacks and Countermeasures. - Xiaomin Wei; Jianfeng Ma 001; Cong Sun 001 (IEEE Internet Things J., 2024)

Disa: Accurate Learning-based Static Disassembly with Attentions. - Peicheng Wang; Monika Santra; Mingyu Liu; Cong Sun 001; Dongrui Zeng; Gang Tan (CCS, 2025)

Sensor attack online classification for UAVs using machine learning. - Xiaomin Wei; Yizhen Xu; Haibin Zhang; Cong Sun 001; Xinghua Li 001; Fenghua Huang; Jianfeng Ma 001 (Comput. Secur., 2025)

Sliver: A Scalable Slicing-Based Verification for Information Flow Security. - Xue Rao; Cong Sun 001; Dongrui Zeng; Yongzhe Huang; Gang Tan (IEEE Trans. Dependable Secur. Comput., 2025)

Understanding the Bad Development Practices of Android Custom Permissions in the Wild. - Xiaohan Zhang; Zhiyuan Yu 001; Xinghua Li 001; Cen Zhang; Cong Sun 001; Ning Zhang 017; Robert H. Deng (IEEE Trans. Dependable Secur. Comput., 2025)