#z3prover — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #z3prover, aggregated by home.social.
-
Predicting .NET Core random numbers using Z3 Theorem Prover. Example on MegaSHP CTF October 2021 edition from Sekurak. Write-up for the Random challenge.
https://blog.cyberethical.me/z3-prover-predicting-dotnet-random
-
Predicting .NET Core random numbers using Z3 Theorem Prover. Example on MegaSHP CTF October 2021 edition from Sekurak. Write-up for the Random challenge.
https://blog.cyberethical.me/z3-prover-predicting-dotnet-random