TY  - RPRT
TI  - Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
AU  - Pengbo Yan
AU  - Toby Murray
AU  - Olga Ohrimenko
AU  - Van-Thuan Pham
AU  - Robert Sison
PY  - 2024
UR  - https://arxiv.org/abs/2407.00514
ID  - 2407.00514
ER  -