2 papers
cs.CR2025
One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
Xenia Hofmeier, Andrea Raguso, Ralf Sasse +2
Aggregate signatures are digital signatures that compress multiple signatures from different parties into a single signature, thereby reducing storage and bandwidth requirements. B…
cs.CR2025
SoK: Attacks on Modern Card Payments
Xenia Hofmeier, David Basin, Ralf Sasse +1
EMV is the global standard for smart card payments and its NFC-based version, EMV contactless, is widely used, also for mobile payments. In this systematization of knowledge, we ex…