SeqL: SAT-attack Resilient Sequential Locking.
Seetal PotluriAkash KumarAydin AysuPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- sat solvers
- satisfiability problem
- search algorithm
- data objects
- concurrency control
- object oriented database management systems
- attack detection
- sat solving
- boolean satisfiability
- countermeasures
- phase transition
- orders of magnitude
- search strategies
- hidden markov models
- lower bound
- stochastic local search algorithms
- database systems