Formal Models of Bank Cards for Free.

Fides Aarts, Joeri de Ruiter, Erik Poll

Browse the full ICST paper archive.