Martin Boesgaard Thomas Christensen Erik Zenner Badger - A Fast and Provably Secure MAC. 176-191 2005 conf/acns/2005 ACNS http://dx.doi.org/10.1007/11496137_13 db/conf/acns/acns2005.html#BoesgaardCZ05