Pengbo Yan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCGRID | ZUFS: Enhancing Stability and Endurance in Mobile Devices with Integrated Zoned Namespaces in Universal Flash Storage. | Pengbo Yan, Bohong Zhu, Zhirong Shen, Jiwu Shu, Jiadong Yang |
| 2024 | FM | Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. | Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison |
| 2023 | ICFEM | Compositional Vulnerability Detection with Insecurity Separation Logic. | Toby Murray, Pengbo Yan, Gidon Ernst |