Login / Signup
An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator.
Oleg Zaikin
Stepan Kochemazov
Published in:
ISC (2017)
Keyphrases
</>
post processing
planning problems
sat solvers
countermeasures
np complete
domain independent