Original writeup (https://nuc13us.wordpress.com/2019/12/16/voting-machine-2-watevrctf-2019/).