3 papers
cs.CR2026
Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
Sofia Giampietro, Ralf Sasse, David Basin
Diffie-Hellman groups are commonly used in cryptographic protocols. While most state-of-the-art, symbolic protocol verifiers support them to some degree, they do not support all ma…
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…