CTFs
Upcoming
Archive
Past events
Tasks
Writeups
Calendar
Teams
Rating
Compare
Create new team
Get team members
FAQ
Contact us
For organizers
Feedback
About
Sign in
Home
/
CTF events
/
DiceCTF 2021
/
Tasks
/
babymix
/
Writeup
babymix
by
b1twis3
/
lowprivshighhopes
Tags:
rev
z3
Rating:
5.0
Solving the challenge using the Python module Z3 Solver.
Original writeup
(https://gist.github.com/Leoid/27f814bb8bd6105bab9e842c8f96d28c).
Comments
x
Sign in with
I don't remember