Achieving Consistency of Software Updates against Strong Attackers - Abdullah, Lamya; Hahn, Sebastian; Freiling, Felix C. 1970- (Technical reports / Department Informatik, 2019)