電 話：(0551)63600689
E-Mail：yxiong@ustc.edu.cn
主要研究方向：計算機網絡與信息安全、移動計算與移動網絡、分布式處理等。
熊焰，男，留美博士後、教授、博士生導師，國際計算機學會ACM中國區合肥分會（即安徽地區）主席、國家自然科學基金委計算機學科評審組會評專家、國家科技部科技進步獎計算機與自動化學科組會評專家、電子學報常務編委、中國通信學會通信軟件專家委員會委員、安徽省雲計算產業促進會會長、安徽省網絡安全與信息化專家組成員。1983年、1986年分別獲得科大學士、碩士學位，1990年成為是科大計算機係博士，1992-1994年任科大計算機係副主任，1995-1997年赴美UMKC大學計算機科學與通信學院做博士後研究，現任計算機網絡與信息安全研究室主任。曾獲得省部級科技進步獎二等獎2項、三等獎1項，安徽省青年科技獎1項。至今已在國內外核心期刊和學術會議上發表論文100多篇。先後主持的項目有國家自然科學基金項目、國家自然科學基金重點項目、國家863重大專項、國家863重大項目、國家863項目、國家 973專題、中科院重大專項等40多項國家和省部級項目。
獲獎情況：
省部級科技進步獎二等獎2項、三等獎1項；
安徽省青年科技獎1項。
代表性論著：
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Cheng Su. Advancing the Automation Capability of Verifying Security Protocols[J]. IEEE Transactions on Dependable and Secure Computing, 2024.
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[C]. 32nd USENIX Security Symposium (USENIX Security 23). 2023: 3367-3383.
Yu Ning, Zuo Ye, Gennian Ge, Fuyou Miao, Yan Xiong, Xiande Zhang. New Results on Self-Dual Generalized Reed-Solomon Codes[J]. IEEE Transactions on Information Theory, 2021, 67(11): 7240-7252.
Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Jianmeng Huang. AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs[J]. IEEE Transactions on Information Forensics and Security, 2020, 16: 1912-1927.
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[C]. 29th USENIX Security Symposium (USENIX Security 20). 2020: 253-270.
Yiqing Hu, Yan Xiong, Wenchao Huang, Xiang-Yang Li, Panlong Yang, Yanan Zhang, XuFei Mao. Lightitude: Indoor positioning using uneven light intensity distribution[J]. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 2018, 2(2): 1-25.
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[J]. IEEE Journal on Selected Areas in Communications, 2017, 35(5): 1104-1117.
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[C]. Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. 2016: 439-450.
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[J]. IEEE Transactions on Mobile Computing, 2015, 14(10): 2145-2157.
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[C]. IEEE INFOCOM 2014-IEEE Conference on Computer Communications. IEEE, 2014: 370-378.
Wenchao Huang, Yan Xiong, Xingfu Wang, Fuyou Miao, Chengyi Wu, Xudong Gong, Qiwei Lu. Fine-grained refinement on tpm-based protocol applications[J]. IEEE transactions on information forensics and security, 2013, 8(6): 1013-1026.
包象琳,熊焰,黃文超,陳凱傑,汪萬森,孟昭逸,徐曉峰,方賢進.基於SmartVerif的比特幣底層協議算力盜取漏洞發現[J].電子學報,2021,49(12):2390-2398.
（更新於2024年3月）
