Wenchao Huang

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 79

Top Venues

Publications

Caichang Tu, Wansen Wang, Kaiwen Shi, Yan Xiong, Wenchao Huang
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts. BIGCOM (2023)
Jiaqi Guo, Zhaoyi Meng, Qian Zhang, Yan Xiong, Wenchao Huang
MVVDroid: Android Malware Detection based on Multi-View Visualization. BIGCOM (2023)
Renjie Ji, Wansen Wang, Yan Xiong, Wenchao Huang
SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts. BIGCOM (2023)
Wenchao Huang, Binbin Tian, Yunpeng Chen, Jinhua Wang
Reachable set estimation of multi-agent systems with semi-Markov switching topologies and time-delay. J. Frankl. Inst. 360 (11) (2023)
Wenchao Huang, Zhijun Pan, Zhezhuang Xu
Underwater Cable Localization Method Based on Beetle Swarm Optimization Algorithm. IEEE CAA J. Autom. Sinica 10 (9) (2023)
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji
Automated Inference on Financial Security of Ethereum Smart Contracts. USENIX Security Symposium (2023)
Wenchao Huang, Yu Cao, Xu Cheng, Zongkai Guo
Research on air quality prediction based on improved long short-term memory network algorithm. PeerJ Comput. Sci. 8 (2022)
Xudong Feng, Wenchao Huang, Weiwei Xu, Huamin Wang
Learning-Based Bending Stiffness Parameter Estimation by a Drape Tester. ACM Trans. Graph. 41 (6) (2022)
Wenchao Huang, Binbin Tian, Tiantian Liu, Jinhua Wang, Zhiqiang Liu
Event-triggered leader-following consensus of multi-agent systems under semi-Markov switching topology with partially unknown rates. J. Frankl. Inst. 359 (7) (2022)
Bo Zhou, Yi He, Wenchao Huang, Xiang Yu, Fang Fang, Xiaomao Li
Place recognition and navigation of outdoor mobile robots based on random Forest learning with a 3D LiDAR. J. Intell. Robotic Syst. 104 (4) (2022)
Wenchao Huang, Chengrong Lin, Bo Hu, Tao Niu
Robust distributed adaptive consensus for linear multiagent systems with uncertain topologies. Trans. Inst. Meas. Control 44 (9) (2022)
Wenchao Huang, Hailin Liu, Jie Huang
Distributed Robust Containment Control of Linear Heterogeneous Multi-Agent Systems: An Output Regulation Approach. IEEE CAA J. Autom. Sinica 9 (5) (2022)
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji
An Automated Analyzer for Financial Security of Ethereum Smart Contracts. CoRR (2022)
Chengrong Lin, Bo Hu, Wenchao Huang, Tao Niu
Robust distributed adaptive consensus for discrete-time multiagent systems with uncertain topologies. Neurocomputing 449 (2021)
Mingzhe Hu, Yu Zhang, Wenchao Huang, Yan Xiong
Static Type Inference for Foreign Functions of Python. ISSRE (2021)
Yanwei Huang, Zhenyi Liu, Wenchao Huang, Shaobin Chen
Robust H∞ control for nonlinear course system of unmanned surface vessel with polytopic uncertainty based on sum of squares. Trans. Inst. Meas. Control 43 (2) (2021)
Yuting Feng, Feng Xiong, Wenchao Huang, Yan Xiong
Security Analysis of Session Initiation Protocol Digest Access Authentication Scheme. BigCom (2021)
Keju Meng, Fuyou Miao, Yu Ning, Wenchao Huang, Yan Xiong, Chin-Chen Chang
A proactive secret sharing scheme based on Chinese remainder theorem. Frontiers Comput. Sci. 15 (2) (2021)
Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Jianmeng Huang
AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Jianmeng Huang, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Yan Xiong
Static Analysis of Superfluous Network Transmissions in Android Applications. Int. J. Netw. Secur. 22 (3) (2020)
Zihan Zhou, Yan Xiong, Wenchao Huang, Lu Ma
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis. BigCom (2020)
Chuanhu Cheng, Yan Xiong, Wenchao Huang, Lu Ma
Context-aware Generation of Proof Scripts for Theorem Proving. BigCom (2020)
Huihua Xia, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao
Limiting Privacy Breaches in Average-Distance Query. Secur. Commun. Networks 2020 (2020)
Guangshuai Mo, Yan Xiong, Wenchao Huang, Lu Ma
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies. BigCom (2020)
Jiabin Zhu, Wenchao Huang, Fuyou Miao, Cheng Su, Baohua Zhao, Yan Xiong
A Formal Framework of Shielding Systems by Stepwise Refinement. Int. J. Netw. Secur. 22 (1) (2020)
Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, Hengyi Ouyang
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies. USENIX Security Symposium (2020)
Cijian Song, Yan Xiong, Wenchao Huang, Lu Ma
Joint Self-Attention and Multi-Embeddings for Chinese Named Entity Recognition. BigCom (2020)
Jianmeng Huang, Wenchao Huang, Fuyou Miao, Yan Xiong
Detecting Improper Behaviors of Stubbornly Requesting Permissions in Android Applications. Int. J. Netw. Secur. 22 (3) (2020)
Keju Meng, Fuyou Miao, Wenchao Huang, Yan Xiong
Threshold changeable secret sharing with secure secret reconstruction. Inf. Process. Lett. 157 (2020)
Changbin Lu, Fuyou Miao, Junpeng Hou, Wenchao Huang, Yan Xiong
A verifiable framework of entanglement-free quantum secret sharing with information-theoretical security. Quantum Inf. Process. 19 (1) (2020)
Shangwu Dong, Yan Xiong, Wenchao Huang, Lu Ma
KIMS: Kernel Integrity Measuring System based on TrustZone. BigCom (2020)
Zeng Li, Wenchao Huang, Yan Xiong, Siqi Ren, Tuanfei Zhu
Incremental learning imbalanced data streams with concept drift: The dynamic updated ensemble algorithm. Knowl. Based Syst. 195 (2020)
Jianmeng Huang, Yan Xiong, Wenchao Huang, Chen Xu, Fuyou Miao
SieveDroid: Intercepting Undesirable Private-Data Transmissions in Android Applications. IEEE Syst. J. 14 (1) (2020)
Weikang Hu, Wenchao Huang, Yanwei Huang, Shaobin Chen, Ai-Guo Wu
On reachable set estimation of multi-agent systems. Neurocomputing 401 (2020)
Chen Xu, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Cheng Su, Guangshuai Mo
Identifying compatibility-related APIs by exploring biased distribution in Android apps. ICSE (Companion Volume) (2020)
Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Taeho Jung, Jianmeng Huang
Divide and conquer: recovering contextual information of behaviors in Android apps around limited-quantity audit logs. ICSE (Companion Volume) (2019)
Zeng Li, Yan Xiong, Wenchao Huang
Drift-detection Based Incremental Ensemble for Reacting to Different Kinds of Concept Drift. BigCom (2019)
Xianglin Bao, Cheng Su, Yan Xiong, Wenchao Huang, Yifei Hu
FLChain: A Blockchain for Auditable Federated Learning with Trust and Incentive. BigCom (2019)
Xiaoyu Li, Cheng Su, Yan Xiong, Wenchao Huang, Wansen Wang
Formal Verification of BNB Smart Contract. BigCom (2019)
Fuyou Miao, Keju Meng, Wenchao Huang, Yan Xiong, Xingfu Wang
Ideal Tightly Couple (t, m, n) Secret Sharing. CoRR (2019)
Zhaoyi Meng, Yan Xiong, Wenchao Huang, Lei Qin, Xin Jin, Hongbing Yan
AppScalpel: Combining static analysis and outlier detection to identify and prune undesirable usage of sensitive data in Android applications. Neurocomputing 341 (2019)
Taeho Jung, Xiang-Yang Li, Wenchao Huang, Zhongying Qiao, Jianwei Qian, Linlin Chen, Junze Han, Jiahui Hou
AccountTrade: Accountability Against Dishonest Big Data Buyers and Sellers. IEEE Trans. Inf. Forensics Secur. 14 (1) (2019)
Huihua Xia, Wenchao Huang, Yan Xiong
Differentially Private Geo-Social Ranking. BigCom (2019)
Yanwei Huang, Wenchao Huang, Shaobin Chen, Zheyi Liu
Complementary sliding mode control with adaptive switching gain for PMSM. Trans. Inst. Meas. Control 41 (11) (2019)
Chen Xu, Yan Xiong, Wenchao Huang, Zhaoyi Meng
An Observational Study on Compatibility-Related API Usage. BigCom (2019)
Fuyou Miao, Keju Meng, Yue Yu, Wenchao Huang, Yan Xiong, Xingfu Wang
Tightly Coupled Secret Sharing and Its Application to Group Authentication. CoRR (2019)
Keju Meng, Fuyou Miao, Wenchao Huang, Yan Xiong
Tightly coupled multi-group threshold secret sharing based on Chinese Remainder Theorem. Discret. Appl. Math. 268 (2019)
Weikang Hu, Yanwei Huang, Wenchao Huang, Shaobin Chen
Observer and Controller Design for State-Delay Takagi-Sugeno Fuzzy Systems Subjected to Unknown Time-Varying Output Delays. ICIRA (4) (2019)
Yanwei Huang, Zhongyang Zhang, Wenchao Huang, Shaobin Chen
DC-Link Voltage Regulation for Wind Power System by Complementary Sliding Mode Control. IEEE Access 7 (2019)
Xuangou Wu, Zhaobin Chu, Panlong Yang, Chaocan Xiang, Xiao Zheng, Wenchao Huang
TW-See: Human Activity Recognition Through the Wall With Commodity Wi-Fi Devices. IEEE Trans. Veh. Technol. 68 (1) (2019)
Wenchao Huang, Bo Zhou, Kun Qian, Fang Fang, Xudong Ma
Real-Time Multi-Modal People Detection and Tracking of Mobile Robots with A RGB-D Sensor. ICARM (2019)
Jiabin Zhu, Wenchao Huang, Yan Xiong
Formally Verifying Memory Isolation Based on ARM Processors. BigCom (2018)
Yu Ning, Fuyou Miao, Wenchao Huang, Keju Meng, Yan Xiong, Xingfu Wang
Constructing Ideal Secret Sharing Schemes Based on Chinese Remainder Theorem. ASIACRYPT (3) (2018)
Hongbing Yan, Yan Xiong, Wenchao Huang, Jianmeng Huang, Zhaoyi Meng
Automatically Detecting Malicious Sensitive Data Usage in Android Applications. BigCom (2018)
Yu Ning, Fuyou Miao, Wenchao Huang, Keju Meng, Yan Xiong, Xingfu Wang
Constructing Ideal Secret Sharing Schemes based on Chinese Remainder Theorem. IACR Cryptol. ePrint Arch. 2018 (2018)
Yifei Hu, Yan Xiong, Wenchao Huang, Xianglin Bao
KeyChain: Blockchain-Based Key Distribution. BigCom (2018)
Shuangshuang Xu, Lan Zhang, Anran Li, Xiang-Yang Li, Chaoyi Ruan, Wenchao Huang
AppDNA: App Behavior Profiling via Graph-based Deep Learning. INFOCOM (2018)
Yan Xiong, Cheng Su, Wenchao Huang
Verifying Security Protocols using Dynamic Strategies. CoRR (2018)
Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Panlong Yang, Yanan Zhang, XuFei Mao
Lightitude: Indoor Positioning Using Uneven Light Intensity Distribution. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2 (2) (2018)
Lei Qin, Yan Xiong, Wenchao Huang, Zhaoyi Meng
A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation. BigCom (2018)
Jianmeng Huang, Wenchao Huang, Fuyou Miao, Yan Xiong
Detecting Stubborn Permission Requests in Android Applications. BigCom (2018)
Wenchao Huang, Jinchuang Zhao, Wenli Fu
A Deep Learning Approach Based on CSP for EEG Analysis. Intelligent Information Processing (2018)
Luhui Yang, Guangjie Liu, Jiangtao Zhai, Yuewei Dai, Zhaozhi Yan, Yuguang Zou, Wenchao Huang
A Novel Detection Method for Word-Based DGA. ICCCS (2) (2018)
Shoubin Chen, Jingbin Liu, Teng Wu, Wenchao Huang, Keke Liu, Deyu Yin, Xinlian Liang, Juha Hyyppä, Ruizhi Chen
Extrinsic Calibration of 2D Laser Rangefinders Based on a Mobile Sphere. Remote. Sens. 10 (8) (2018)
Jianmeng Huang, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Yan Xiong
Identifying Superfluous Network Transmissions in Android Applications. BigCom (2018)
Wenchao Huang, Yanwei Huang, Shaobin Chen
Robust consensus control for a class of second-order multi-agent systems with uncertain topology and disturbances. Neurocomputing 313 (2018)
Shoubin Chen, Jingbin Liu, Wenchao Huang, Ruizhi Chen
Wide Swath Stereo Mapping from Gaofen-1 Wide-Field-View (WFV) Images Using Calibration. Sensors 18 (3) (2018)
Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Taeho Jung, Jianmeng Huang
Divide and Conquer: Recovering Contextual Information of Behaviors in Android Apps around Limited-quantity Audit Logs. CoRR (2018)
Jiabin Zhu, Yan Xiong, Wenchao Huang
A Formal Framework for State Continuity of Protected Modules. BigCom (2018)
Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, Jianmeng Huang, Cheng Su
A Verified Secure Protocol Model of OAuth Dynamic Client Registration. BigCom (2017)
Caimei Wang, Yan Xiong, Wenjuan Cheng, Wenchao Huang, Huihua Xia, Jianmeng Huang
A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems. Int. J. Netw. Secur. 19 (5) (2017)
Wenchao Huang, Xiang-Yang Li, Yan Xiong, Panlong Yang, Yiqing Hu, XuFei Mao, Fuyou Miao, Baohua Zhao, Jumin Zhao
Stride-in-the-Loop Relative Positioning Between Users and Dummy Acoustic Speakers. IEEE J. Sel. Areas Commun. 35 (5) (2017)
Xi Yue, Zhezhuang Xu, Wenchao Huang, Rongkai Wang, Hao Jiang, Cailian Chen, Shih-Hau Fang
LightCon: Simplify line-of-sight connection with visible symbols in industrial wireless networks. IECON (2017)
Xin Jin, Yan Xiong, Wenchao Huang, Zhaoyi Meng
Mining Anomalous Usage of Sensitive Data through Anomaly Detection. BigCom (2017)
Taeho Jung, Xiang-Yang Li, Wenchao Huang, Jianwei Qian, Linlin Chen, Junze Han, Jiahui Hou, Cheng Su
AccountTrade: Accountable protocols for big data trading against dishonest consumers. INFOCOM (2017)
Wenchao Huang, Xiang-Yang Li, Yan Xiong, Panlong Yang, Yiqing Hu, XuFei Mao, Fuyou Miao, Baohua Zhao, Ju-Min Zhao
WalkieLokie: sensing relative positions of surrounding presenters by acoustic signals. UbiComp (2016)
Xiaopu Wang, Yan Xiong, Wenchao Huang
An Accurate Direction Finding Scheme Using Virtual Antenna Array via Smartphones. Sensors 16 (11) (2016)
Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, Jianmeng Huang
Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus. Trustcom/BigDataSE/ISPA (2016)
Xiaopu Wang, Yan Xiong, Wenchao Huang
Rotate and Guide: Accurate and Lightweight Indoor Direction Finding Using Smartphones. BigCom (2016)
Xiaopu Wang, Yan Xiong, Wenchao Huang
Anti-multipath Indoor Direction Finding Using Acoustic Signal via Smartphones. BigCom (2015)
Xudong Gong, Yan Xiong, Wenchao Huang, Lei Chen, Qiwei Lu, Yiqing Hu
Fast Similarity Search of Multi-Dimensional Time Series via Segment Rotation. DASFAA (1) (2015)
Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Yanan Zhang, XuFei Mao, Panlong Yang, Caimei Wang
Lightitude: Indoor Positioning Using Ubiquitous Visible Lights and COTS Devices. ICDCS (2015)
Wenchao Huang, Yan Xiong, Xiang-Yang Li, Yiqing Hu, XuFei Mao, Panlong Yang
WalkieLokie: Relative Positioning for Augmented Reality Using a Dummy Acoustic Speaker. CoRR (2015)
Wenchao Huang, Jianping Zeng, Hongfei Sun
Robust consensus for linear multi-agent systems with mixed uncertainties. Syst. Control. Lett. 76 (2015)
Yuyang Ke, Yan Xiong, Yiqing Hu, Xudong Gong, Wenchao Huang
Magemite: Character inputting system based on magnetic sensor. WOWMOM (2015)
Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, XuFei Mao, Panlong Yang, Yunhao Liu, Xingfu Wang
Swadloon: Direction Finding and Indoor Localization Using Acoustic Signal by Shaking Smartphones. IEEE Trans. Mob. Comput. 14 (10) (2015)
Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Yanan Zhang, XuFei Mao, Panlong Yang, Caimei Wang
Lightitude: Indoor Positioning Using Ubiquitous Visible Lights and COTS Devices. CoRR (2015)
Lan Zhang, Xiang-Yang Li, Wenchao Huang, Kebin Liu, Shuwei Zong, Xuesi Jian, Puchun Feng, Taeho Jung, Yunhao Liu
It starts with iGaze: visual attention driven networking with smart glasses. MobiCom (2014)
Xuangou Wu, Yan Xiong, Panlong Yang, Shouhong Wan, Wenchao Huang
Sparsest Random Scheduling for Compressive Data Gathering in Wireless Sensor Networks. IEEE Trans. Wirel. Commun. 13 (10) (2014)
Lan Zhang, Xiang-Yang Li, Wenchao Huang, Kebin Liu, Shuwei Zong, Xuesi Jian, Puchun Feng, Taeho Jung, Yunhao Liu
Demo: visual attention driven networking with smart glasses. MobiCom (2014)
Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, XuFei Mao, Panlong Yang, Yunhao Liu
Shake and walk: Acoustic direction finding and fine-grained indoor localization using smartphones. INFOCOM (2014)
Qiwei Lu, Wenchao Huang, Xudong Gong, Xingfu Wang, Yan Xiong, Fuyou Miao
A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET. CoRR (2013)
Qingwen Liu, Yan Xiong, Wenchao Huang
Integrating Social Information into Collaborative Filtering for Celebrities Recommendation. ACIIDS (2) (2013)
Wenchao Huang, Yan Xiong, Xingfu Wang, Fuyou Miao, Chengyi Wu, Xudong Gong, Qiwei Lu
Fine-Grained Refinement on TPM-Based Protocol Applications. IEEE Trans. Inf. Forensics Secur. 8 (6) (2013)
Qiwei Lu, Wenchao Huang, Yan Xiong, Xudong Gong
Integrity Verification for Outsourcing Uncertain Frequent Itemset Mining. CoRR (2013)
Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, XuFei Mao, Panlong Yang, Yunhao Liu
Accurate Indoor Localization Using Acoustic Direction Finding via Smart Phones. CoRR (2013)
Yiqing Hu, Yan Xiong, Xudong Gong, Qiwei Lu, Mingxi Li, Wenchao Huang
TARS: Trusted Adaptive Routing Strategy with Back-Off Observing Mechanism. TrustCom/ISPA/IUCC (2013)
Xuangou Wu, Yan Xiong, Wenchao Huang, Hong Shen, Mingxi Li
An efficient compressive data gathering routing scheme for large-scale wireless sensor networks. Comput. Electr. Eng. 39 (6) (2013)
Qiwei Lu, Yan Xiong, Xudong Gong, Wenchao Huang
Secure Collaborative Outsourced Data Mining with Multi-owner in Cloud Computing. TrustCom (2012)
Qiwei Lu, Yan Xiong, Wenchao Huang, Xudong Gong, Fuyou Miao
A Distributed ECC-DSS Authentication Scheme Based on CRT-VSS and Trusted Computing in MANET. TrustCom (2012)

Wenchao Huang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wenchao Huang