correct nomenclature on galloi counter mode