PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models

AGChain: A Blockchain-based Gateway for Trustworthy App Delegation from Mobile App Markets

Machine Learning for Actionable Warning Identification: A Comprehensive Survey

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

MtdScout: Complementing the Identification of Insecure Methods in Android Apps via Source-to-Bytecode Signature Generation and Tree-based Layered Search

On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study

Split and Merge: Aligning Position Biases in LLM-based Evaluators

Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts

Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts

BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects

Active Warden Attack: On the (In)Effectiveness of Android App Repackage-Proofing

An empirical study of blockchain system vulnerabilities: modules, types, and patterns

LiCA: A Fine-grained and Path-sensitive Linux Capability Analysis Framework

Deep-Learning-Based App Sensitive Behavior Surveillance for Android Powered Cyber-Physical Systems

Scalable online vetting of Android apps for measuring declared SDK versions and their consistency with API calls

On the usability (in)security of in-app browsing interfaces in mobile apps

When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid

Understanding Android VoIP Security: A System-Level Vulnerability Assessment

An empirical study of mobile network behavior and application performance in the wild

Towards understanding android system vulnerabilities: Techniques and insights

Understanding Open Ports in Android Applications: Discovery, Diagnosis, and Security Assessment

Toward Accurate Network Delay Measurement on Android Phones

SCLib: A practical and lightweight defense against component hijacking in android applications

Towards dynamically monitoring android applications on non-rooted devices in the wild

Measuring the declared SDK versions and their consistency with API calls in android apps

MopEye: Opportunistic monitoring of per-app mobile network performance

Demystifying and puncturing the inflated delay in smartphone-based WiFi network measurement

Stack layout randomization with minimal rewriting of android binaries

Indirect File Leaks in Mobile Applications

On the accuracy of smartphone-based mobile network measurement

Analyzing Android browser apps for file:// vulnerabilities

An empirical study of mobile network behavior and application performance in the wild

Conference paper

Towards understanding android system vulnerabilities: Techniques and insights

Conference paper

Understanding Open Ports in Android Applications: Discovery, Diagnosis, and Security Assessment

Conference paper

Toward Accurate Network Delay Measurement on Android Phones

Article

SCLib: A practical and lightweight defense against component hijacking in android applications

Conference paper

Towards dynamically monitoring android applications on non-rooted devices in the wild

Conference paper

Measuring the declared SDK versions and their consistency with API calls in android apps

Conference paper

MopEye: Opportunistic monitoring of per-app mobile network performance

Conference paper

Demystifying and puncturing the inflated delay in smartphone-based WiFi network measurement

Conference paper

Stack layout randomization with minimal rewriting of android binaries

Conference paper

Indirect File Leaks in Mobile Applications

Conference paper

On the accuracy of smartphone-based mobile network measurement

Conference paper

Analyzing Android browser apps for file:// vulnerabilities

Conference paper