Andrea Raguso

According to our database¹, Andrea Raguso authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

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

[BibT_eX]

[DOI]

CoRR, May, 2025

One For All: Formally Verifying Protocols which use Aggregate Signatures.

[BibT_eX]

[DOI]

Dataset, May, 2025

One For All: Formally Verifying Protocols which use Aggregate Signatures.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025