patch the program to jump the calls to set_timer and get_key, calculate the xor of the flag stored in the program with "picoCTF{", run in gdb and before the call to decrypt_flag set $rdi to the calculated value. see original write up for details