智能安全形式化實驗室以網絡與信息安全研究為中心，定位於軟/硬件的形式化驗證、區塊鏈底層協議以及智能合約的漏洞挖掘、秘密共享與密鑰管理等相關研究。主要研究內容為形式化驗證、區塊鏈、應用密碼、深度學習等新一代信息技術在網絡與信息安全領域的創新應用。
實驗室緊密結合科學發展前沿和國家重大需求，瞄準網絡與信息安全領域的研究前沿與關鍵技術問題，聚集和建設一支能在前沿技術研究中作出一流成果的科技攻堅隊伍。實驗室負責人為熊焰教授，團隊成員包括黃文超副教授，苗付友副教授，孟昭逸博士後及博士碩士研究生40餘人。
目前，實驗室在重要國際學術期刊、會議發表論文200餘篇，並獲得發明專利16項，省部級科技進步獎在內的各類獎項10餘項。承擔了網絡與信息安全方向的國家自然科學基金重點項目、國家自然科學基金麵上項目、國家863重點項目、國家973專題，國家科技重大專項等多項。實驗室還與火幣、華為、華米等國內知名網絡與信息安全相關的企業開展了應用合作。通過多年建立的產學研合作平台，實驗室為相關方向研究生培養提供了優良的科研和實踐條件，培養畢業了一批在各大知名IT企業發揮著重要作用的網絡與信息安全優秀人才。
實驗室主頁: http://staff.ustc.edu.cn/~huangwc/lab/
