Authors: Manuel Mazzara, Bertrand Meyer - IEEE Symposium on Security and Privacy, IEEE S&P 2017 cited by 115