Login / Signup
Biang Xu
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Formal Verification
Process Algebra
Automated Verification
Top Venues
IEEE Trans. Netw. Serv. Manag.
</>
Publications
</>
Bin Yuan
,
Chi Zhang
,
Jiajun Ren
,
Qunjinming Chen
,
Biang Xu
,
Qiankun Zhang
,
Zhen Li
,
Deqing Zou
,
Fan Zhang
,
Hai Jin
Toward Automated Attack Discovery in SDN Controllers Through Formal Verification.
IEEE Trans. Netw. Serv. Manag.
21 (3) (2024)