个人信息Personal Information
副教授
博士生导师
硕士生导师
电子邮箱：
自动形式化分析方法
系统软件安全性自动分析
芯片安全性自动分析
安全协议全自动形式化分析
区块链底层协议与上层智能合约的安全性分析
- 暂无内容
- Yiming Zhu,Yan Xiong.Wenchao Huang.Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1.USENIX Security Symposium,2025,
- Zhaoyi Meng,Jiale Zhang,Jiaqi Guo,Jie Cui,Hong Zhong,Yan Xiong.Wansen Wang,Wenchao Huang.Detecting Android Malware by Visualizing App Behaviors from Multiple Complementary Views.IEEE Transactions on Information Forensics and Security,2025,20
- 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,