Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms

Open Webpage

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison

Published: 01 Jan 2024, Last Modified: 19 Feb 2025FM (1) 2024EveryoneRevisionsBibTeXCC BY-SA 4.0