Writeup of Octokey, an authentication protocol for the web