Pengbo Yan

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Symbolic Execution

Concurrency Control

Classical Logic

Statistical Databases

Top Venues

Proc. ACM Program. Lang.

SPLASH Companion

Publications

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). CoRR (2024)
Toby Murray, Pengbo Yan, Gidon Ernst
Compositional Vulnerability Detection with Insecurity Separation Logic. ICFEM (2023)
Pengbo Yan
Proving Obliviousness of Probabilistic Algorithms with Formal Verification. SPLASH Companion (2022)
Pengbo Yan, Toby Murray
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices). CoRR (2021)
Toby Murray, Pengbo Yan, Gidon Ernst
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic. CoRR (2021)
Pengbo Yan, Toby Murray
SecRSL: security separation logic for C11 release-acquire concurrency. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)