Wenchao Huang

Orcid: 0000-0002-2043-2439

Affiliations:

University of Science and Technology of China, School of Computer Science and Technology, Hefei, China

According to our database¹, Wenchao Huang authored at least 82 papers between 2009 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Detecting Android Malware by Visualizing App Behaviors From Multiple Complementary Views.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2025

2024

Advancing the Automation Capability of Verifying Security Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2024

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2024

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2024

LightSLH: Provable and Low-Overhead Spectre v1 Mitigation through Targeted Instruction Hardening.

[BibT_eX]

[DOI]

Yiming Zhu

Wenchao Huang

Yan Xiong

CoRR, 2024

Encrypted Mining Traffic Detection Mechanism Based on TLS Handshake Message and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Big Data Computing and Communications, 2024

2023

Automated Inference on Financial Security of Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

MVVDroid: Android Malware Detection based on Multi-View Visualization.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

2022

An Automated Analyzer for Financial Security of Ethereum Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2022

2021

AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

A proactive secret sharing scheme based on Chinese remainder theorem.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2021

Static Type Inference for Foreign Functions of Python.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Security Analysis of Session Initiation Protocol Digest Access Authentication Scheme.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Big Data Computing and Communications, 2021

2020

SieveDroid: Intercepting Undesirable Private-Data Transmissions in Android Applications.

[BibT_eX]

[DOI]

IEEE Syst. J., 2020

Limiting Privacy Breaches in Average-Distance Query.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2020

A verifiable framework of entanglement-free quantum secret sharing with information-theoretical security.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2020

Incremental learning imbalanced data streams with concept drift: The dynamic updated ensemble algorithm.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2020

Threshold changeable secret sharing with secure secret reconstruction.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2020

A Formal Framework of Shielding Systems by Stepwise Refinement.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2020

Detecting Improper Behaviors of Stubbornly Requesting Permissions in Android Applications.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2020

Static Analysis of Superfluous Network Transmissions in Android Applications.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2020

SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Identifying compatibility-related APIs by exploring biased distribution in Android apps.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Joint Self-Attention and Multi-Embeddings for Chinese Named Entity Recognition.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020

Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020

KIMS: Kernel Integrity Measuring System based on TrustZone.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020

Context-aware Generation of Proof Scripts for Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020

SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020

2019

TW-See: Human Activity Recognition Through the Wall With Commodity Wi-Fi Devices.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2019

AccountTrade: Accountability Against Dishonest Big Data Buyers and Sellers.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

AppScalpel: Combining static analysis and outlier detection to identify and prune undesirable usage of sensitive data in Android applications.

[BibT_eX]

[DOI]

Neurocomputing, 2019

Tightly coupled multi-group threshold secret sharing based on Chinese Remainder Theorem.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2019

Tightly Coupled Secret Sharing and Its Application to Group Authentication.

[BibT_eX]

[DOI]

CoRR, 2019

Divide and conquer: recovering contextual information of behaviors in Android apps around limited-quantity audit logs.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

An Observational Study on Compatibility-Related API Usage.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

Differentially Private Geo-Social Ranking.

[BibT_eX]

[DOI]

Huihua Xia

Wenchao Huang

Yan Xiong

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

Drift-detection Based Incremental Ensemble for Reacting to Different Kinds of Concept Drift.

[BibT_eX]

[DOI]

Zeng Li

Yan Xiong

Wenchao Huang

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

Formal Verification of BNB Smart Contract.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

FLChain: A Blockchain for Auditable Federated Learning with Trust and Incentive.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

2018

Lightitude: Indoor Positioning Using Uneven Light Intensity Distribution.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

Constructing Ideal Secret Sharing Schemes based on Chinese Remainder Theorem.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Verifying Security Protocols using Dynamic Strategies.

[BibT_eX]

[DOI]

Yan Xiong

Cheng Su

Wenchao Huang

CoRR, 2018

AppDNA: App Behavior Profiling via Graph-based Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

A Formal Framework for State Continuity of Protected Modules.

[BibT_eX]

[DOI]

Jiabin Zhu

Yan Xiong

Wenchao Huang

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

Formally Verifying Memory Isolation Based on ARM Processors.

[BibT_eX]

[DOI]

Jiabin Zhu

Wenchao Huang

Yan Xiong

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

Automatically Detecting Malicious Sensitive Data Usage in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

Detecting Stubborn Permission Requests in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

Identifying Superfluous Network Transmissions in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

KeyChain: Blockchain-Based Key Distribution.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Big Data Computing and Communications, 2018

2017

Stride-in-the-Loop Relative Positioning Between Users and Dummy Acoustic Speakers.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2017

A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2017

AccountTrade: Accountable protocols for big data trading against dishonest consumers.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

A Verified Secure Protocol Model of OAuth Dynamic Client Registration.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Big Data Computing and Communications, 2017

Mining Anomalous Usage of Sensitive Data through Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Big Data Computing and Communications, 2017

2016

An Accurate Direction Finding Scheme Using Virtual Antenna Array via Smartphones.

[BibT_eX]

[DOI]

Xiaopu Wang

Yan Xiong

Wenchao Huang

Sensors, 2016

Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

WalkieLokie: sensing relative positions of surrounding presenters by acoustic signals.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

Rotate and Guide: Accurate and Lightweight Indoor Direction Finding Using Smartphones.

[BibT_eX]

[DOI]

Xiaopu Wang

Yan Xiong

Wenchao Huang

Proceedings of the Big Data Computing and Communications - Second International Conference, 2016

2015

Swadloon: Direction Finding and Indoor Localization Using Acoustic Signal by Shaking Smartphones.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2015

WalkieLokie: Relative Positioning for Augmented Reality Using a Dummy Acoustic Speaker.

[BibT_eX]

[DOI]

CoRR, 2015

Magemite: Character inputting system based on magnetic sensor.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on A World of Wireless, 2015

Lightitude: Indoor Positioning Using Ubiquitous Visible Lights and COTS Devices.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Fast Similarity Search of Multi-Dimensional Time Series via Segment Rotation.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2015

Anti-multipath Indoor Direction Finding Using Acoustic Signal via Smartphones.

[BibT_eX]

[DOI]

Xiaopu Wang

Yan Xiong

Wenchao Huang

Proceedings of the Big Data Computing and Communications - First International Conference, 2015

2014

Sparsest Random Scheduling for Compressive Data Gathering in Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2014

Demo: visual attention driven networking with smart glasses.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

It starts with iGaze: visual attention driven networking with smart glasses.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

Shake and walk: Acoustic direction finding and fine-grained indoor localization using smartphones.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013

Fine-Grained Refinement on TPM-Based Protocol Applications.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2013

Integrity Verification for Outsourcing Uncertain Frequent Itemset Mining.

[BibT_eX]

[DOI]

CoRR, 2013

A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET.

[BibT_eX]

[DOI]

CoRR, 2013

Accurate Indoor Localization Using Acoustic Direction Finding via Smart Phones.

[BibT_eX]

[DOI]

CoRR, 2013

An efficient compressive data gathering routing scheme for large-scale wireless sensor networks.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2013

TARS: Trusted Adaptive Routing Strategy with Back-Off Observing Mechanism.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Trust, 2013

Integrating Social Information into Collaborative Filtering for Celebrities Recommendation.

[BibT_eX]

[DOI]

Qingwen Liu

Yan Xiong

Wenchao Huang

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012

A Distributed ECC-DSS Authentication Scheme Based on CRT-VSS and Trusted Computing in MANET.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Trust, 2012

Secure Collaborative Outsourced Data Mining with Multi-owner in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Trust, 2012

Replicator Dynamic Inspired Differential Evolution Algorithm for Global Optimization.

[BibT_eX]

Proceedings of the IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence, Barcelona, Spain, 5, 2012

2009

DAAODV: A Secure Ad Hoc Routing Protocol Based on Direct Anonymous Attestation.

[BibT_eX]

[DOI]

Wenchao Huang

Yan Xiong

Depin Chen

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Wenchao Huang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...