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
[ 5.0 ms ] story [ 26.5 ms ] thread