Login / Signup
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version).
Pengbo Yan
Toby Murray
Olga Ohrimenko
Van-Thuan Pham
Robert Sison
Published in:
CoRR (2024)
Keyphrases
</>
times faster
probabilistic model
optimization problems
learning algorithm
theoretical analysis
orders of magnitude
computationally efficient
machine learning algorithms
probabilistic logic
knowledge base
data structure
significant improvement
computational cost
worst case
probabilistic networks