Questions tagged [z3]

1 questions

votes

0 answers

Could the z3 solver be used to solve serial number generator algorithms, TOTPs and how to protect yourself against this?

Could the original or heavily modified Z3 Solver be used to get for example CD Keys generated from an algorithm? What about TOTP? What protection measures are/should be taken to protect the company assets and similar in this case? I really hope…

asked Jul 15 '22 at 18:13

Sir Muffington

1,447
2
9
22