Adi Shamir SQUASH - A New MAC with Provable Security Properties for Highly Constrained Devices Such as RFID Tags. 144-157 2008 FSE http://dx.doi.org/10.1007/978-3-540-71039-4_9 conf/fse/2008 db/conf/fse/fse2008.html#Shamir08