Qi Wang
发表
Nikita Borisov,
Bo Li,
Carl A. Gunter,
2019,
2021 IEEE Symposium on Security and Privacy (SP).
Nikita Borisov,
Qi Wang,
Carl A. Gunter,
2018,
CCS.
William H. Sanders,
Cristina Nita-Rotaru,
Qi Wang,
2018,
CCS.
Xiao Yu,
Qi Wang,
Haifeng Chen,
2020,
NDSS.
Carl A. Gunter,
Wei Yang,
Qi Wang,
2019,
CCS.
Qiben Yan,
Nikolay Ivanov,
Qi Wang,
2023,
Proc. ACM Manag. Data.
Peter Csaba Ölveczky,
José Meseguer,
Qi Wang,
2020,
NFM.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2019,
Formal Aspects of Computing.
Peter Csaba Ölveczky,
José Meseguer,
Min Zhang,
2019,
TACAS.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018,
FASE.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018
.
Qi Wang,
Carl A. Gunter,
Wajih Ul Hassan,
2018,
NDSS.