PESTO: Proactively Secure Distributed Single Sign-On, or How to Trust a Hacked ServerCarsten BaumTore Frederiksenet al.2020EuroS&P 2020