Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs.

Hala Hamadeh Abdallah Almomani Akhilesh Tyagi

Published in: ESOCC (2020)

Keyphrases

bayesian networks
probabilistic model
markov chain
probabilistic reasoning
learning algorithm
expert systems
generative model
service providers
cellular automata
model checking
search engine
clustering algorithm
face recognition
uncertain data
belief networks
formal methods