A Novel Probability-Based Logic-Locking Technique: ProbLock.
Michael YueSara TehranipoorPublished in: Sensors (2021)
Keyphrases
- probability theory
- quantum computation
- logic programming
- probability distribution
- concurrency control
- modal logic
- classical logic
- automated reasoning
- case study
- garbage collection
- predicate logic
- data structure
- search engine
- conditional probabilities
- probabilistic logic
- logical framework
- expert systems
- computational properties
- set theory
- asynchronous circuits
- information systems
- natural deduction
- data mining