On committing security of PMAC, LightMAC, and UMAC | Synapse