Pengbo Yan

According to our database, Pengbo Yan authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version).

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison

CoRR, 2024

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms.

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison

Proceedings of the Formal Methods - 26th International Symposium, 2024

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

Proceedings of the 24th IEEE International Symposium on Cluster, 2024

2023

Compositional Vulnerability Detection with Insecurity Separation Logic.

Toby Murray, Pengbo Yan, Gidon Ernst

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Proving Obliviousness of Probabilistic Algorithms with Formal Verification.

Pengbo Yan

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2021

SecRSL: security separation logic for C11 release-acquire concurrency.

Pengbo Yan, Toby Murray

Proc. ACM Program. Lang., 2021

SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices).

Pengbo Yan, Toby Murray

CoRR, 2021

Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic.

Toby Murray, Pengbo Yan, Gidon Ernst

CoRR, 2021