Grundner-Culemann, Sophia (2024): Formal verification of revocation approaches in identity-based cryptography. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik