TY  - RPRT
TI  - One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
AU  - Xenia Hofmeier
AU  - Andrea Raguso
AU  - Ralf Sasse
AU  - Dennis Jackson
AU  - David Basin
PY  - 2025
UR  - https://arxiv.org/abs/2505.10316
ID  - 2505.10316
ER  -