Seol mar théacs é seo: Short−output universal hash functions and their use in fast and secure message authentication