Pengbo Yan -

Registered user since Sat 18 Sep 2021

Name:Pengbo Yan

Country:Australia

Affiliation:University of Melbourne

Contributions

SPLASH 2022	Author of Proving Obliviousness of Probabilistic Algorithms with Formal Verification within the Doctoral Symposium-track
SPLASH 2021	Author of SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency within the OOPSLA-track