Cryptography Based Security for the ATM Surveillance Chain. - Johannes de Haan; Abdel Youssouf (EnCyCriS@ICSE, 2023)