CyberEthical.Me · @cyberethical_me
35 followers · 23 posts · Server infosec.exchangePredicting .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
#random #dotnet #z3 #z3prover #ethicalhacking #cyberethical
CyberEthical.Me · @cyberethical_me
38 followers · 25 posts · Server infosec.exchangePredicting .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
#random #dotnet #z3 #z3prover #ethicalhacking #cyberethical