27c3: Reverse Engineering a real-world RFID payment system (en)