The code adapts the paper techniques into reusable CTF-style solver functions, demos, and a local challenge example. It is not meant to be a line-by-line reproduction of either paper; some names and ...