Sign in
Pengbo Yan
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Classical Logic
Concurrency Control
Symbolic Execution
Security Problems
Top Venues
CoRR
Proc. ACM Program. Lang.
SPLASH Companion
ICFEM
</>
Publications
</>
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)