2 citations · 2 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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.CR2022★ 2 cited
Automated Security Analysis of Exposure Notification Systems
Kevin Morio, Ilkan Esiyok, Dennis Jackson +1
We present the first formal analysis and comparison of the security of the two most widely deployed exposure notification systems, ROBERT and the Google and Apple Exposure Notifica…