Halting Password Puzzles \u2013 Hard-to-break Encryption from Human-memorable Keys