Xiaoran Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2018
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | APSEC | End-to-End Automated Verification for OS Kernels. | Jizheng Ding, Xiaoran Zhu, Jian Guo |
| 2018 | TASE | KRust: A Formal Executable Semantics of Rust. | Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang |
| 2017 | COMPSAC | Formalization and Verification of the PKMv3 Protocol Using CSP. | Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu |
| 2017 | SEKE | Algebraic Formalization and Verification of PKMv3 Protocol using Maude. | Jia She, Xiaoran Zhu, Min Zhang |
| 2015 | TASE | Formal Verification of PKMv3 Protocol Using DT-Spin. | Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao |