Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zhang, Zhuoruo
4  Ergebnisse:
Personensuche X
?
1

ProveriT: A Parameterized, Composable, and Verified Model o..:

Hu, Jilin ; Zeng, Fanlang ; Zhao, Yongwang...
IEEE Transactions on Dependable and Secure Computing.  , 2024
Link: https://doi.org/10.1109/..
 
?
2

Lark: Verified Cross-Domain Access Control for Trusted Exec..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
Zeng, Fanlang ; Zhang, Zhuoruo ; Chang, Rui... - p. 160-171 , 2023
Link: https://doi.org/10.1109/..
 
?
3

VeriReach: A Formally Verified Algorithm for Reachability A..:

, In: 2023 IEEE International Conference on Web Services (ICWS),
Zhang, Zhuoruo ; Hu, Jilin ; Yu, Chenyang.. - p. 71-77 , 2023
Link: https://doi.org/10.1109/..
 
?
4

PA-Boot: A Formally Verified Authentication Protocol for Mu..:

Zhang, Zhuoruo ; Yu, Chenyang ; Huang, He...
http://arxiv.org/abs/2209.07936.  , 2022
Link: http://arxiv.org/abs/220..
 
1-4