近期，国防科技大学网络空间安全系在网络协议漏洞挖掘方向取得新成果。团队深耕程序动态分析技术，以网络协议软件脆弱性分析为发力点，开展动态符号执行技术辅助协议灰盒模糊测试技术研究，一项最新工作“基于自动化...