3,851 followers
Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. https://t.co/7SHIoe3jbo #ITP #IsabelleHOL
Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. https://t.co/7SHIoe3jbo #ITP #IsabelleHOL