Cryptographically enforced four-eyes principleArne BilzhauseManuel Huberet al.2016ARES 2016Conference paper