Pengbo Yan: Proving Obliviousness of Probabilistic Algorithms with Formal Verification. SPLASH Companion 2022: 25-28