Paper got accepted at RFIDsec2013! Updating numbers/typos before we go through the reviewer comments