Login / Signup
ProbLock: Probability-based Logic Locking.
Michael Yue
Fatemeh Tehranipoor
Published in:
CoRR (2021)
Keyphrases
</>
probability theory
quantum computation
probability distribution
modal logic
concurrency control
logic programming
logical framework
classical logic
predicate logic
real time
multi agent
posterior probability
automated reasoning
computational properties
asynchronous circuits
sound and complete axiomatization