FRoDO: Fraud Resilient Device for Off-Line Micro-Payments