Xenia Hofmeier

According to our database, Xenia Hofmeier authored at least 5 papers between 2024 and 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

SoK: Attacks on Modern Card Payments.

Xenia Hofmeier, David A. Basin, Ralf Sasse, Jorge Toro-Pozo

CoRR, April, 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

2024

PURE: Payments with UWB RElay-protection.

Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick Schaller, David A. Basin, Srdjan Capkun

Proceedings of the 33rd USENIX Security Symposium, 2024

Getting Chip Card Payments Right.

David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo

Proceedings of the Formal Methods - 26th International Symposium, 2024