Algebraic Attacks Using Binary Decision Diagrams.

Håvard Raddum Oleksandr Kazymyrov

Published in: BalkanCryptSec (2014)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
countermeasures
variable ordering
watermarking scheme
model checking
knowledge compilation
database systems
data sets
databases
data mining
search algorithm
domain specific