Original writeup (https://z3dc0ps.github.io/jimmisimon/ctf/umdctf2020.html#2).