Mike Burmester Breno de Medeiros Rossana Motta Provably Secure Grouping-Proofs for RFID Tags. 176-190 2008 CARDIS http://dx.doi.org/10.1007/978-3-540-85893-5_13 conf/cardis/2008 db/conf/cardis/cardis2008.html#BurmesterMM08