C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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