MIFARE Session 5: Debug and Verification Tools