-- Improved Security Analyses for CBC MACs -- HMQV: A High-Performance Secure