Pengbo Yan

According to our database, Pengbo Yan authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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