A Formal Analysis of the FIDO2 Protocols. - Jingjing Guan; Hui Li 070; Haisong Ye; Ziming Zhao 001 (ESORICS (3), 2022)

Formal Analysis of WAPI Authentication and Key Agreement Protocol. - Zhongqi Lv; Hui Li 070; Haisong Ye; Chi Ma; Jingjing Guan (Inscrypt (2), 2024)