Virtual End-to-End Encryption: Analysis of the Doctolib Protocol. - Dennis Dayanikli; Laura Holz; Anja Lehmann (AsiaCCS, 2025)