Yan, P. (2025). Formally Verifying the Security of Probabilistic Oblivious Algorithms. Zenodo.
Chicago Style (17th ed.) CitationYan, Pengbo. Formally Verifying the Security of Probabilistic Oblivious Algorithms. Zenodo, 2025.
MLA (9th ed.) CitationYan, Pengbo. Formally Verifying the Security of Probabilistic Oblivious Algorithms. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.