A Java Reference Model of Transacted Memory for Smart Cards.

Erik Poll, Pieter H. Hartel, Eduard de Jong

Browse the full CARDIS paper archive.