Tanja Lange, Alex Pellegrini, Alberto Ravagnani: On the security of REDOG. ICISC (2) 2023: 282-305