Andrea Raguso

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin

CoRR, May, 2025

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

Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin

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