Login / Signup
Open Sesame: A Novel Non-SAT-Attack against CAS-Lock.
Akashdeep Saha
Urbi Chatterjee
Debdeep Mukhopadhyay
Rajat Subhra Chakraborty
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
countermeasures
concurrency control
phase transition
satisfiability problem
search algorithm
boolean satisfiability
sat problem
np complete
sat solvers
max sat
sat solving