Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pengbo Yan
conf.researchr.org general profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Sat 18 Sep 2021
Name:
Pengbo Yan
Country:
Australia
Affiliation:
University of Melbourne
Contributions
2022
SPLASH
Author of Proving Obliviousness of Probabilistic Algorithms with Formal Verification within the Doctoral Symposium-track
2021
SPLASH
Author of SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency within the OOPSLA-track
Share
x
Sun 10 Nov 00:11