Tags: bin smt z3 

Rating: 5.0

Using SMT/Z3 to reverse the key checking algorithm.