Cryptographically Secure Detection of Injection Attacks. - Yun Lu 001; Konstantinos Mitropoulos; Rafail Ostrovsky; Avraham Weinstock; Vassilis Zikas (CCS, 2018)