中国科学技术大学 huangwenchao--Home--Scientific Research

Personal Homepage

Qr code

Login 中文

黄文超

Associate professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates

E-Mail:

MOBILE Version

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research

Research Field

No content

Paper Publications More>>

Wansen Wang,Yan Xiong,Cheng Su.Wenchao Huang,Zhaoyi Meng.Advancing the Automation Capability of Verifying Security Protocols.IEEE Transactions on Dependable and Secure Computing,2024,
Wansen Wang,Yan Xiong,Fuyou Miao,Xianjin Fang,Caichang Tu,Renjie Ji.Wenchao Huang,Zhaoyi Meng.Automated Inference on Financial Security of Ethereum Smart Contracts.USENIX Security Symposium,2023,
Zhaoyi Meng,Yan Xiong,Fuyou Miao,Jianmeng Huang.Wenchao Huang.AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs.IEEE Transactions on Information Forensics and Security,2021,
Yan Xiong,Cheng Su,Fuyou Miao,Wansen Wang,Hengyi Ouyang.Wenchao Huang.SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.Usenix Security Symposium,2020,
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 Transactions on Information Forensics and Security,2019,
Yiqing Hu,Yan Xiong,Xiang-Yang Li,Panlong Yang.Wenchao Huang.Lightitude: Indoor Positioning Using Uneven Light Intensity Distribution.UbiComp,2018,

Patents More>>

Published Books

No content

Research Projects

Copyright © 2013 University of Science and Technology of China.