One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)

Xenia Hofmeier, Andrea Raguso, Ralf Sasse +2

Aggregate signatures are digital signatures that compress multiple signatures from different parties into a single signature, thereby reducing storage and bandwidth requirements. B…