Cong Sun

Remote. Sens., 2022

ConstDet: Control Semantics-Based Detection for GPS Spoofing Attacks on UAVs.

[BibT_eX]

[DOI]

Remote. Sens., 2022

DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection.

[BibT_eX]

[DOI]

CoRR, 2022

Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

BinPointer: towards precise, sound, and scalable binary-level pointer analysis.

[BibT_eX]

[DOI]

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis.

[BibT_eX]

[DOI]

CoRR, 2021

Information flow based defensive chain for data leakage detection and prevention: a survey.

[BibT_eX]

[DOI]

CoRR, 2021

Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Refining Indirect Call Targets at the Binary Level.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Delica: Decentralized Lightweight Collective Attestation for Disruptive IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

ReCFA: Resilient Control-Flow Attestation.

[BibT_eX]

[DOI]

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2019

SRDPV: secure route discovery and privacy-preserving verification in MANETs.

[BibT_eX]

[DOI]

Wirel. Networks, 2019

一种面向二进制的细粒度控制流完整性方法 (Fine-grained Control Flow Integrity Method on Binaries).

[BibT_eX]

[DOI]

Paerhatijiang Sidike

计算机科学, 2019

Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments.

[BibT_eX]

[DOI]

Entropy, 2019

DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and Verification.

[BibT_eX]

[DOI]

IEEE Access, 2019

Distributed Quantitative Information Flow Evaluation for Service Composition in Clouds.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference On Trust, 2019

CatraDroid: A Call Trace Driven Detection of Malicious Behaiviors in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning for Cyber Security - Second International Conference, 2019

Privacy-Preserving Verification and Root-Cause Tracing Towards UAV Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Communications, 2019

2018

Dlog: diagnosing router events with syslogs for anomaly detection.

[BibT_eX]

[DOI]

J. Supercomput., 2018

PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2018

Information flow control on encrypted data for service composition among multiple clouds.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2018

Ridra: A Rigorous Decentralized Randomized Authentication in VANETs.

[BibT_eX]

[DOI]

IEEE Access, 2018

A Novel Dynamic Android Malware Detection System With Ensemble Learning.

[BibT_eX]

[DOI]

IEEE Access, 2018

Anomalies Detection of Routers Based on Multiple Information Learning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networking and Network Applications, 2018

Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

2017

Distributed Secure Service Composition with Declassification in Mobile Clouds.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2017

Selecting Critical Data Flows in Android Applications for Abnormal Behavior Detection.

[BibT_eX]

[DOI]

Pengbin Feng

Mob. Inf. Syst., 2017

Credit-based scheme for security-aware and fairness-aware resource allocation in cloud computing.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

NetPro: detecting attacks in MANET routing with provenance and verification.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

A Privacy-Preserving Mutual Authentication Resisting DoS Attacks in VANETs.

[BibT_eX]

[DOI]

IEEE Access, 2017

Building a Secure Scheme for a Trusted Hardware Sharing Environment.

[BibT_eX]

[DOI]

IEEE Access, 2017

Certia: Certifying Interface Automata for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Qingsong Yao

Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017

Distributed Information Flow Verification on Encrypted Data for Service Composition in Multiple Clouds.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networking and Network Applications, 2017

PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networking and Network Applications, 2017

VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition.

[BibT_eX]

[DOI]

Ning Xi

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Data-Oriented Instrumentation against Information Leakages of Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Measuring the risk value of sensitive dataflow path in Android applications.

[BibT_eX]

[DOI]

Pengbin Feng

Secur. Commun. Networks, 2016

On the architecture and development life cycle of secure cyber-physical systems.

[BibT_eX]

[DOI]

Qingsong Yao

J. Commun. Inf. Networks, 2016

Distributed Secure Service Composition with Declassification in Mobile Network.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networking and Network Applications, 2016

Attack gives me power: DoS-defending constant-time privacy-preserving authentication of low-cost devices such as backscattering RFID tags.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and Communication, 2016

2015

Secure service composition with information flow control in service clouds.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2015

CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Active Semi-supervised Approach for Checking App Behavior against Its Description.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Balancing trajectory privacy and data utility using a personalized anonymization model.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2014

Trust-based service composition in multi-domain environments under time constraint.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Automated enforcement for relaxed information release with reference points.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Verifying Secure Interface Composition for Component-Based System Designs.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

TrPF: A Trajectory Privacy-Preserving Framework for Participatory Sensing.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2013

Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

Service Composition in Multi-domain Environment under Time Constraint.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Verifying Location-Based Services with Declassification Enforcement.

[BibT_eX]

[DOI]

Sheng Gao

Proceedings of the Web Technologies and Applications - 14th Asia-Pacific Web Conference, 2012

2011

A New Enforcement on Declassification with Reachability Analysis

[BibT_eX]

[DOI]

CoRR, 2011

Enforcing Reactive Noninterference with Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

A Multi-compositional Enforcement on Information Flow Security.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 13th International Conference, 2011

Enforcing Relaxed Declassifications with Reference Points.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

Secure Information Flow by Model Checking Pushdown System

[BibT_eX]

[DOI]

CoRR, 2010

Secure Information Flow in Java via Reachability Analysis of Pushdown System.

[BibT_eX]

[DOI]