CryptoSAT: a tool for SAT-based cryptanalysis.

Frédéric Lafitte

Published in: IET Inf. Secur. (2018)

Keyphrases

answer set programming
real time
sat solvers
ai planning
training data
dynamic programming
constraint satisfaction
secret key
bounded model checking