Kaiqi Ru

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Pspace Complete

Reactive Systems

Penetration Testing

Top Venues

Publications

Kaiqi Ru, Yaning Zheng, Xuewei Feng, Dongxia Wang
The Side-Channel Vulnerability in Network Protocol. ICCNS (2021)
Yaning Zheng, Kaiqi Ru, Xuewei Feng, Dongxia Wang
The Overview of SPIN in Software Model Checking. DSC (2021)