Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic. - Toby Murray; Pengbo Yan; Gidon Ernst (CoRR, 2021)

SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices). - Pengbo Yan; Toby Murray (CoRR, 2021)

SecRSL: security separation logic for C11 release-acquire concurrency. - Pengbo Yan; Toby Murray (Proc. ACM Program. Lang., 2021)

Proving Obliviousness of Probabilistic Algorithms with Formal Verification. - Pengbo Yan (SPLASH Companion, 2022)

Compositional Vulnerability Detection with Insecurity Separation Logic. - Toby Murray; Pengbo Yan; Gidon Ernst (ICFEM, 2023)

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 (CCGrid, 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 (FM (1), 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)