Using Z3 theorem solver to solve bitwise equations for SpaceHeroes CTF (philipsnyder.me) 3 points by psnyder 4y ago ↗ HN
[–] qualudeheart 4y ago ↗ Formal methods are the future of cyber security. Shoutouts to everyone at Microsoft Research who made Z3 possible.
1 comment
[ 2.9 ms ] story [ 13.3 ms ] thread