Comment by dolev--yao | Hacker News Reader