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

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

Browse the full FM paper archive.