Yongkang Xiao, Qiyi Deng, Jing Chen, Min Shi, Ju Ma, Ruiying Du. MASTA: A Feedback-Scheduled Multi-Agent System for End-to-End Tamarin Protocol Modeling and Analysis. Conference on Neural Information Processing Systems (NeurIPS 2026) (CCF A类会议)
实验室一篇论文被 Network and Distributed System Security Symposium (NDSS 2027) 录用 [2026.09.28]
Yongkang Xiao, Jing Chen, Min Shi, Kun He, Mei Wang, Ruiying Du. Small Leaks Sink Great Ships: Automated Analysis of Protocols that Tolerate Low-Entropy Keys. Network and Distributed System Security Symposium (NDSS 2027) (CCF A类会议)