Login / Signup
Proving Obliviousness of Probabilistic Algorithms with Formal Verification.
Pengbo Yan
Published in:
SPLASH Companion (2022)
Keyphrases
</>
formal verification
computationally efficient
orders of magnitude
computational cost
probabilistic approaches
bayesian networks
significant improvement
optimization problems
data mining
learning algorithm
worst case
generative model
model checking