@misc{indiciae77b92a2c1777,
  title = {One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)},
  author = {Xenia Hofmeier and Andrea Raguso and Ralf Sasse and Dennis Jackson and David Basin},
  year = {2025},
  url = {https://arxiv.org/abs/2505.10316},
  note = {Source identifier: 2505.10316}
}