Getting Chip Card Payments Right. - David A. Basin; Xenia Hofmeier; Ralf Sasse; Jorge Toro-Pozo (FM (1), 2024)

PURE: Payments with UWB RElay-protection. - Daniele Coppola; Giovanni Camurati; Claudio Anliker; Xenia Hofmeier; Patrick Schaller; David A. Basin; Srdjan Capkun (USENIX Security Symposium, 2024)

One For All: Formally Verifying Protocols which use Aggregate Signatures. - Xenia Hofmeier; Andrea Raguso; Ralf Sasse; Dennis Jackson; David A. Basin (CSF, 2025)

SoK: Attacks on Modern Card Payments. - Xenia Hofmeier; David A. Basin; Ralf Sasse; Jorge Toro-Pozo (CoRR, 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, 2025)