Subtleties in authenticated encryption: theoretical models for practical issues. - Robert Guy Barwell (2017)