“Michael,” the owner of the locked down digital currency, is based in Europe and told Wired he wished to remain anonymous. He had used a password manager called RoboForm, which generated a strong password that was then stored in an encrypted file created with a tool called TrueCrypt. As fate…