The EMV Standard: Break, Fix, Verify | Hacker News Reader