Zarakovitis, Charilaos, Pitropakis, Nick, Klonidis, Dimitrios, Khalife, Hicham, "SANCUS–Towards Unifying the Analysis and Control of Security, Privacy and Service Reliability", ,