Welcome to my homepage

I received the B.S. and Ph.D degrees from University of Science and Technology of China (USTC) in 2006 and 2011 respectively. My current research interests include Automated Verification, Security Protocols (e.g., blockchain, 5G), Android Security, and deep learning.

Research Topics

Formal Verification

Our goal is to achieve fully automated formal verification of security protocols, hardware and software design.

View details »

Android Security

Many security and privacy issues in Android systems still remain unresolved, including taint flow analysis, fined-grained controls.

View details »

Deep Learning

We are also interested in application of modern AI techniques, such as deep learning and reinforcement learning, especially in the area of automated formal verification.

View details »

Selected Publication

My full publication info is shown in Google Scholar and DBLP

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

Usenix Security Symposium, 2020

Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, and Hengyi Ouyang

AccountTrade: Accountability Against Dishonest Big Data Buyers and Sellers

IEEE Transactions on Information Forensics and Security, 2018

Taeho Jung, Xiang-Yang Li, Wenchao Huang, Zhongying Qiao, Jianwei Qian, Linlin Chen, Junze Han, Jiahui Hou

Lightitude: Indoor Positioning Using Uneven Light Intensity Distribution

UbiComp, 2018.

Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Panlong Yang

AppDNA: App Behavior Profiling via Graph-based Deep Learning

INFOCOM, 2018.

Shuangshuang Xue, Lan Zhang, Anran Li, Xiang-Yang Li, Chaoyi Ruan, Wenchao Huang

Stride-in-the-loop Relative Positioning Between Users and Dummy Acoustic Speakers pdf

IEEE Journal on Selected Areas in Communications. 2017.

Wenchao Huang, Xiang-Yang Li, Yan Xiong, Panlong Yang, Yiqing Hu, Xufei Mao, Fuyou Miao, Baohua Zhao, Zhao Ju-min

AccountTrade: Accountable Protocols for Big Data Trading Against Dishonest Consumers pdf

INFOCOM 2017.

Taeho Jung, Xiang-Yang Li, Wenchao Huang, Jianwei Qian, Linlin Chen, JunZe Han, Jiahui Hou, Cheng Su

WalkieLokie: Sensing Relative Positions of Surrounding Presenters by Acoustic Signals pdf slides

UbiComp 2016.

Wenchao Huang, Xiang-Yang Li, Yan Xiong, Panlong Yang, Yiqing Hu, Xufei Mao, Fuyou Miao, Baohua Zhao, Jumin Zhao.

Fast Similarity Search of Multidimensional Time Series via Segment Rotation pdf

DASFAA 2015.

Xudong Gong, Yan Xiong, Wenchao Huang, Lei Chen, Qiwei Lu, and Yiqing Hu.

Lightitude: Indoor Positioning Using Ubiquitous Visible Lights and COTS Devices

ICDCS (Poster) 2015.

Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Yanan Zhang, XuFei Mao, Panlong Yang, Caimei Wang

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

IEEE Transactions on Mobile Computing. 2015.

Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, Xufei Mao, Panlong Yang, Yunhao Liu, Xingfu Wang

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

IEEE Transactions on Wireless Communications. 2014.

Xuangou Wu, Yan Xiong, Panlong Yang, Shouhong Wan, Wenchao Huang

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

MobiCom 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.

Lan Zhang, Xiang-Yang Li, Wenchao Huang, Kebin Liu, Shuwei Zong, Xuesi Jian, Puchun Feng, Taeho Jung, Yunhao Liu.

Shake and Walk: Acoustic Direction Finding and Fine-grained Indoor Localization Using Smartphones pdf binary

INFOCOM 2014.

Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, Xufei Mao, Panlong Yang, Yunhao Liu

Fine-grained Refinement on TPM-based Protocol Applications pdf

IEEE Transactions on Information Forensics and Security. 2013

Wenchao Huang, Yan Xiong, Xingfu Wang, Fuyou Miao, Chengyi Wu, Xudong Gong, Qiwei Lu.

DAAODV: A secure ad hoc routing protocol based on direct anonymous attestation

TrustCom 2009

Wenchao Huang, Yan Xiong, Depin Chen