INT-RUP Security of Checksum-Based Authenticated Encryption. - Ping Zhang 020; Peng Wang 009; Honggang Hu; Changsong Cheng; Wenke Kuai (ProvSec, 2017)