Federico Magnanini, Luca Ferretti, Michele Colajanni: Flexible and Survivable Single Sign-On. CSS 2021: 182-197