A Formal Comparison of Advanced Digital Signature Primitives
P. Schürmann,  A Formal Comparison of Advanced Digital Signature Primitives, 2023.